Algebraic implementation of abstract data types: an announcement

A new concept for the implementation of abstract data types is proposed: Given algebraic specifications SPECO and SPEC1 of abstract data types ADTO and ADT1 an implementation of ADTO by ADT1 is defined separately on the syntactical level of specifications and on the semantical level of algebras. In addition to a short overview a simple example is provided.

[1]  Hartmut Ehrig,et al.  Stepwise Specification and Implementation of Abstract Data Types , 1978, ICALP.

[2]  John V. Guttag.  Abstract data types and the development of data structures , 1976, SIGMOD 1976.

[3]  Daniel J. Lehmann,et al.  Data types , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[4]  Hartmut Ehrig,et al.  Algebraic Specification Schemes for Data Base Systems , 1978, VLDB.