On realization and implementation

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


We give a fundamental notion of implementation of one algebraic data type by another one that gives a unifying framework for studying various recent approaches to algebraic implementation, and at the same time is consistent with the classical theory of finite automata realization developed by Hartmanis and Stearns. Much uniformity and simplicity is achieved by discarding reduction problems from automata realization as well as specification problems from algebraic data type implementation. As a result of our approach, we get new insights in the composability of algebraic implementations and the existence of normal forms for algebraic implementations.


Normal Form Forgetful Functor Fundamental Notion Surjective 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. ADJ 77.
    Goguen, J.A./Thatcher, J.W./Wagner, E.G./Wright, J.B.: Initial Algebra Semantics and Continuous Algebras. Journal ACM 24, (1977), 68–95Google Scholar
  2. ADJ 78.
    Goguen, J.A./Thatcher, J.W./Wagner, E.G.: An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. Current Trends in Programming Methodology, Vol IV(R.T. Yeh, ed.). Prentice Hall, Englewood Cliffs 1978, 80–149Google Scholar
  3. AM 75.
    Arbib, M.A./Manes, E.G.: Arrows, Structures, and Functors. Academic Press, New York, 1975Google Scholar
  4. EH 78.
    Ehrich, H-D.: Extensions and Implementations of Abstract Data Type Specifications. Proc. 7th MFCS 1978, J. Winkowski (ed), LNCS 64, Springer-Verlag, Berlin 1978, 155–164Google Scholar
  5. EH 79.
    Ehrich,H.-D.: On the Theory of Specification, Implementation, and Parameterization of Abstract Data Types. Bericht Nr. 82/79, Abteilung Informatik, Univ. Dortmund 1979 (also to appear in Journal ACM)Google Scholar
  6. EKMP 80.
    Ehrig, h./Kreowski, H.-J./Mahr, B./Padawitz, P.: Compound Algebraic Implementations: an Approach to Stepwise Refinement of Software Systems. Proc. 9th MFCS (P. Dembinski, ed.), LNCS 88, Springer-Verlag, Berlin 1980, 231–245Google Scholar
  7. EKP 78.
    Ehrig, H./Kreowski, H.-J./Padawitz, P.: Stepwise Specification and Implementation of Abstract Data Types. Proc. 5th ICALP (G. Ausiello/C. Boehm, eds.), LNCS 62, Springer-Verlag, Berlin 1978, 205–226Google Scholar
  8. EKP 80.
    Ehrig, H./Kreowski, H.-J./Padawitz, P.: Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics, and Correctness. Proc. 7th ICALP (J.W. deBakker/J. van Leeuwen, eds.), LNCS 85, Springer-Verlag, Berlin 1980, 142–156Google Scholar
  9. GA 80.
    Ganzinger, H.: Parameterized Specifications: Parameter Passing and Implementation. Internal Report, EECS-Comp.Sc. Division, UC Berkeley, September 1980Google Scholar
  10. GU 75.
    Guttag, J.V.: The Specification and Application to Programming of Abstract Data Types. Tech. Report CSRG-59, Univ. of Toronto, September 1975Google Scholar
  11. HS 66.
    Hartmanis, J./Stearns, R.E.: Algebraic Structure Theory of Sequential Machines. Prentice-Hall, Englewood Cliffs, 1966Google Scholar
  12. HU 80.
    Hupbach, U.L.: Abstract Implementations of Abstract Data Types. Proc 9th MFCS (P. Dembinski, ed.), LNCS 88, Springer-Verlag, Berlin 1980, 291–304Google Scholar
  13. LI 79.
    Lipeck, U.: Zum Begriff der Implementierung in der Theorie der abstrakten Datentypen. Diplomarbeit, Abteilung Informatik, Univ. Dortmund 1979Google Scholar
  14. MA 78.
    Mayoh,B.H.: Data Types as Functions. Report DAIMI PB-89, Comp. Sc.Dept. Aarhus University, July 1978Google Scholar
  15. NO 79.
    Nourani,F.: Constructive Extension and Implementation of Abstract Data Types and Algorithms. Report UCLA-ENG-7945, Comp. Sc. Dept. UC Los Angeles, August 1979Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • H. D. Ehrich
    • 1
  1. 1.Abt. InformatikUniv. Dortmund, PF 500500Dortmund 50

Personalised recommendations