Algebraic implementation of abstract data types
Hartmut Ehrig, Hans‐Jörg Kreowski, Peter Padawitz · ACM SIGACT News · 1979
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.