Synthesizing abstract data type specifications

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.