Extensions and implementations of abstract data type specifications

  • H. -D. Ehrich
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)


Equational specifications of abstract data types are related by morphisms to form a category spec of specifications. Extensions are defined to be special morphisms, and weak extensions are introduced as a generalization. On this basis, a conceptually simple but powerful notion of implementation is given. The effects of these concepts on the associated initial algebras are investigated, and it is shown that implementations can be done in multiple levels.


Natural Transformation Algebraic Semantic Operation Symbol Algebra Morphism Abstract Data Type 
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. 1.
    ADJ (J.A. Goguen,J.W. Thatcher,E.G. Wagner,J.B. Wright): Initial algebra semantics and continuous algebras. J.ACM 24(1977), 68–95CrossRefGoogle Scholar
  2. 2.
    ADJ (GTWa): An initial algebra approach to the specification, correctness, and implementation of abstract data types. Current trends in progr. methodology IV, ed. by R.Yeh, Prentice Hall, New JerseyGoogle Scholar
  3. 3.
    ADJ (TWaWr): Specification of abstract data types using conditional axioms (extended abstract). IBM Res. Report RC-6214, 1976Google Scholar
  4. 4.
    Arbib, M.A.-Manes, E.G.: Arrows, structures, and functors. Academic Press, New York 1975Google Scholar
  5. 5.
    Bergstra, J.: What is an abstract data type? Report No. 77-12, Inst. of Appl. Math. and Comp. Sc., Univ. of Leiden, The Netherlands, 1977Google Scholar
  6. 6.
    Burstall, R.M.-Goguen, J.A.: Putting theories together to make specifications. Proc. 5th IJCAI-77, MIT, Cambridge, Mass. 1977Google Scholar
  7. 7.
    Ehrich, H.-D.: Algebraic semantics of type definitions and structured variables. Proc. FCT'77, ed. by M. Karpiński, Lecture Notes in Comp. Sc. 56, Springer-Verlag, Berlin 1977Google Scholar
  8. 8.
    Ehrich, H.-D.: Algebraische Spezifikation von Datenstrukturen. Proc. Workshop "Graphentheoretische Konzepte in der Informatik", ed. by J. Mühlbacher, Hanser-Verlag, München 1977Google Scholar
  9. 9.
    Ehrich,H.-D.: On the theory of specification, parametric specification, and implementation of abstract data types. To be publishedGoogle Scholar
  10. 10.
    Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Some remarks concerning correct specification and implementation of abstract data types. Bericht Nr. 77-13, Techn. Univ. Berlin, FB 20, 1977Google Scholar
  11. 11.
    Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Stepwise specification and implementation of abstract data types. Internal Report, Techn. Univ. Berlin, FB 20, 1977Google Scholar
  12. 12.
    Giarratana, V.-Gimona, F.-Montanari, U.: Observability concepts in abstract data type specification. Proc. 5th MFCS, ed. by A. Mazurkiewicz, Lecture Notes in Comp. Sc. 45, Springer-Verlag, Berlin 1976, 576–587Google Scholar
  13. 13.
    Goguen, J.A.: Correctness and equivalence of data types. Proc. 1975 Conf. on Algebraic Systems, Lecture Notes in Comp. Sc., Springer-Verlag, Berlin 1975Google Scholar
  14. 14.
    Guttag, J.V.: The specification and application to programming of abstract data types. Tech. Report CSRG-59, Univ. of Toronto, 1975Google Scholar
  15. 15.
    Lehmann,D.J.-Smith,M.B.: Data types. The University of Warwick, Theory of Computation Report No. 19, May 1977Google Scholar
  16. 16.
    Liskov, B.H.-Zilles, S.N.: Specification techniques for data abstractions. IEEE Transactions on Software Engineering, Vol. SE-1 (1975), 7–19Google Scholar
  17. 17.
    Majster,M.E.: Data types, abstract data types and their specification problem. Report TUM-INFO-7740, Techn. Univ. München, 1977Google Scholar
  18. 18.
    Majster, M.E.: Limits of the algebraic specification of data types. SIGPLAN Notices 12 (1977), 37–42Google Scholar
  19. 19.
    Manes, E.G.: Algebraic theories. Springer-Verlag, New York 1976Google Scholar
  20. 20.
    Mosses, P.: Making denotational semantics less concrete. Proc. Bad Honnef Workshop on Semantics of Programming Languages, Bericht Nr. 41, Abteilung Informatik, Univ. Dortmund, 1976Google Scholar
  21. 21.
    Reusch, B.: Zur Realisierung von Automaten über Algebren. Berichte der GMD Band 38, Bonn 1971Google Scholar
  22. 22.
    Reynolds, J.C.: Semantics of the domain of flow diagrams. J.ACM 24 (1977), 484–503CrossRefGoogle Scholar
  23. 23.
    Scott, D.S.: Data types as lattices. SIAM J. of Computing, Vol.5 (1976), 522–587CrossRefGoogle Scholar
  24. 24.
    Thatcher,J.W.-Wagner,E.G.-Wright,J.B.: Data type specification: parametrization and the power of specification techniques. (Extended abstract). Internal Report, Yorktown Heights 1977Google Scholar
  25. 25.
    Wand, M.: First-order identities as a defining language. Tech. Report No. 29. Comp. Sc. Dept. Indiana University, Bloomginton 1976Google Scholar
  26. 26.
    Wand, M.: Efficient axioms for algebra semantics. Tech. Report No. 42, Comp. Sc. Dept. Indiana University, Bloomington 1975Google Scholar
  27. 27.
    Zilles,S.N.: Algebraic specification of data types. MIT Project MAC, Computation Structures Group Memo 119, 1975Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • H. -D. Ehrich
    • 1
  1. 1.Abteilung InformatikUniversität DortmundDortmund 50West Germany

Personalised recommendations