Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Automatic Technique for Selection of Data Representations in SETL Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic data structure selection: an example and overview
Communications of the ACM
Inductively computable constructs in very high level languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Abstract data types in the Model programming language
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
Automatic construction of algorithms and data structures using a knowledge base of programming rules.
Abstract model specifications for data abstractions
Abstract model specifications for data abstractions
Efficiency considerations in program synthesis: a knowledge-based approach.
Efficiency considerations in program synthesis: a knowledge-based approach.
Towards a theory of program synthesis: automating implementations of abstract data types
Towards a theory of program synthesis: automating implementations of abstract data types
Automatic synthesis of abstract data type implementations from abstract specifications
Automatic synthesis of abstract data type implementations from abstract specifications
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
| Hi-index | 0.00 |
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.