Name
Abstract | ||
|---|---|---|
Several alternatives for implementing abstract data types exist. One approach is the definition and implementation of a new language which directly supports abstract data type constructs. Another approach is to incorporate abstract data type constructs in an existing programming language. This paper describes recent and current research in the incorporation of a specification language for abstract data types within an operational compilable programming language. The synthesis of implementations of abstract data types from their specifications is discussed. |
Year | DOI | Venue |
|---|---|---|
1982 | 10.1145/503896.503928 | ACM Southeast Regional Conference |
Keywords | Field | DocType |
abstract data types,existing programming language,specification language,abstract data type specification,abstract data type,current research,operational compilable programming language,synthesis,new language,specifications,abstract data type construct,programming language | Abstract data type,Specification language,Programming language specification,Programming language,Computer science,First-generation programming language,Data manipulation language,Type safety,Programming language implementation,Abstract type | Conference |
ISBN | Citations | PageRank |
0-89791-071-0 | 0 | 0.34 |
References | Authors | |
13 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Boumediene Belkhouche | 1 | 55 | 17.44 |
| Joseph E. Urban | 2 | 143 | 48.78 |
| Gregory A. Riccardi | 3 | 45 | 11.53 |