Algebraic implementation of abstract data types: concept, syntax, semantics and correctness

  • H. Ehrig
  • H. -J. Kreowski
  • P. Padawitz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 85)


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.


Implementation Level Correctness Criterion Abstract Data Type Syntactical Level Algebraic Specification 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /ADJ 76/.
    Goguen, J.A.-Thatcher, J.W.-Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types, IBM Research Report RC-6487, 1976; and in: Current Trends in Programming Methodology, IV: Data Structuring (R. Yeh Ed.), Prentice Hall, New Jersey, 1978, 80–144Google Scholar
  2. /BG 77/.
    Burstall, R.M.-Goguen, J.A.: Putting Theories together to Make Specifications, Proc.Int.Conf. Artif.Intelligence, Boston, 1977Google Scholar
  3. /Eh 78a/.
    Ehrich, H.-D.: Extensions and Implementations of Abstract Data Type Specifications, Proc.Conf.MFCS'78, Zakopane, Springer Lect.Not. in Comp. Sci. 64, 1978, 155–163Google Scholar
  4. /Eh 78b/.
    —: On the Theory of Specification, Implementation and Parametrization of Abstract Data Types, Forschungsbericht Uni. Dortmund, 1978Google Scholar
  5. /EKP 78/.
    Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types, Proc.5.Int.Colloq.on Automata, Languages and Programming, Udine 1978Google Scholar
  6. /EKP 79/.
    —: Algebraische Implementierung abstrakter Datentypen, Forschungsbericht Nr. 79-3, TU Berlin, FB 20, 1979Google Scholar
  7. /EKP 80a/.
    —: Completeness in Algebraic Specifications, to appear in Bull. EATCS no. 11, 1980Google Scholar
  8. /EKP 80b/.
    —: A Case Study of Abstract Implementations and Their Correctness, to appear in Proc. Int. Symp. on Programming, Paris 1980Google Scholar
  9. /EKW 78/.
    Ehrig, E.-Kreowski, H.-J.-Weber, H.: Algebraic Specification Schemes for Data Base Systems, Proc.4, Int.Conf.on Very Large Data Bases, Berlin, 1978Google Scholar
  10. /EM 80/.
    Ehrig, H.-Mahr, B.: A Complexity of Implementations on the Level of Algebraic Specifications, to appear in Proc. STOC'80Google Scholar
  11. /Gog 77/.
    Goguen, J.A.: Abstract Errors for Abstract Data Types, Proc.IFIP Working Conf. on Formal Description of Programming Concepts, St.Andrews, New Brunswick, Aug. 1977, and in: Formal Description of Progr. Concepts, E.J.Neuhold, North-Holland, 1978, 491–522Google Scholar
  12. /GN 78/.
    Goguen, J.A.-Nourani, F.: Some Algebraic Techniques for Proving Correctness of Data Type Implementation, Extended Abstract, Comp. Sci. Dept., UCLA, Los Angeles, 1978Google Scholar
  13. /Gut 76/.
    Guttag, J.V.: Abstract Data Types and the Development of Data Structures Supplement to Proc. Conf. on Data Abstraction, Definition, and Structure, SIGPLAN Notices 8, March 1976Google Scholar
  14. /Ko 79/.
    Koch, W.: SPEZI — eine Sprache zur Formulierung von Spezifikationen, Proc. GI-9.Jahrestagung, Bonn 1979, Informatik-Fachberichte 19, Springer-Verlag, 1979, 132–138Google Scholar
  15. /LS 77/.
    Lehmann, D.H.-Smyth, M.B.: Data Types, Univ.of Warwick, Dept. of Comp. Sci., Report No.19, 1977, and Proc.18th IEEE Symp.on Found.of Computing, Providende, R.I., Nov. 77, 7–12Google Scholar
  16. /TWW 78/.
    Thatcher, J.W.-Wagner, E.G.-Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. 10 SIGACT Symp.on Theory of Computing, San Diego, 1978, 119–132Google Scholar
  17. /Wa 77/.
    Wand, M.: Final Algebra Semantics and Data Type Extensions, Indiana Univ., Comp. Sci. Dept., Technical Report No. 65, 1977Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • H. Ehrig
    • 1
  • H. -J. Kreowski
    • 1
  • P. Padawitz
    • 1
  1. 1.TU Berlin

Personalised recommendations