论文信息 - Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness

Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness

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. This concept is shown to satisfy a number of conceptual requirements for the implementation of abstract data types. Several correctness criteria are given and illustrating examples are provided.

Hartmut Ehrig | Hans-Jörg Kreowski | Peter Padawitz

[1] James W. Thatcher,et al. Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.

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

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

[4] Mitchell Wand,et al. Final Algebra Semantics and Data Type Extensions , 1979, J. Comput. Syst. Sci..

[5] Wilfried Koch. SPEZI - Eine Sprache zur Formulierung von Spezifikationen (unvollstängige Fassung) , 1979, GI Jahrestagung.

[6] Hans-Dieter Ehrich. Extensions and Implementations of Abstract Data Type Specifications , 1978, MFCS.

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

[8] Hartmut Ehrig,et al. Complexity of implementations on the level of algebraic specifications , 1980, STOC '80.

[9] Joseph A. Goguen,et al. Putting Theories Together to Make Specifications , 1977, IJCAI.

[10] John V. Guttag,et al. Abstract data types and the development of data structures , 1976, Software Pioneers.

[11] Joseph A. Goguen,et al. Abstract Errors for Abstract Data Types , 1977, Formal Description of Programming Concepts.