Stepwise specification and implementation of abstract data types

  • Hartmut Ehrig
  • Hans-Jörg Kreowski
  • Peter Padawitz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 62)


The algebraic approach to specification and implementation of abstract data type in the sense of Goguen, Thatcher and Wagner is extended to study problems of stepwise specification and implementation. Two different concepts are introduced:
  1. 1.

    Stepwise specification by enrichment

  2. 2.

    Stepwise specification and implementation by functors


In both cases some basic results are given and applied to a practical example of software engineering.


Direct Derivation Correct Specification Specification Spec Information Path Operation Symbol 
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 75/.
    Goguen, J.A.-Thatcher, J.W.-Wagner, E.G.-Wright, J.B.: Abstract data types as initial algebras and correctness of data representations, Proceedings Conf. on Comp. Graphics, Pattern Recognition and Data Structure, May, 1975, 89–93Google Scholar
  2. /BG 77/.
    Burstall, R.M.-Goguen, J.A.: Putting Theories together to Make Specifications, Proc. Int. Jt. Conf. on Artificial Intelligence, Boston, August 1977Google Scholar
  3. /Ehr 77/.
    Ehrich, H.-D.: Algebraische Spezifikation von Datenstrukturen, Proc. Workshop Graphentheoretische Konzepte in der Informatik, Linz, Juni 1977Google Scholar
  4. /EKP 77/.
    Ehrig, H.-Kreowski, H.-J.-Padawitz, P.: Some Remarks concerning Correct Specification and Implementation of Abstract Data Types, Technical University Berlin, Informatik Research Report No. 77-13, August 1977Google Scholar
  5. /EKW 78/.
    Ehrig, H.-Kreowski, H.-J.-Weber, H.: Algebraic Specification Schemes for Data Base Systems, Research Report HMI-B 266, Hahn-Meitner-Institut Berlin, Februar 1978Google Scholar
  6. /GGM 76/.
    Giarratana, V.-Gimona, F.-Montanari, U.: Observability Concepts in Abstract Data Type Specification, Proc. 5th MFOC Symposium, Lecture Notes in Comp. Sci. 45 (1976), 576–587Google Scholar
  7. /GTW 76/.
    /GTW2 77/ Goguen, J.A.-Thatcher, J.W.-Wagner, E.G.-Wright, J.B.: Initial Algebra Semantics and Continuous Algebras, J. ACM 24, 1 (Jan 1977), 68–95CrossRefGoogle Scholar
  8. /GTW 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)Google Scholar
  9. /Gut 75/.
    Guttag, J.V.: The Specification and Application to Programming of Abstract Data Types, Univ. of Toronto, Comp. Syst. Research Group, Techn. Report CSRG-59, September 1975Google Scholar
  10. /Gut 76/.
    —: 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
  11. /Hoa 72/.
    Hoare, C.A.R.: Proof of Correctness of Data Representations, Acta Informatica 1, 271–281 (1972)CrossRefGoogle Scholar
  12. /Kan 77/.
    Kanda, A.: Data Types as Effective Objects, University of Warwick, Theory of Comp. Report No. 22, Dec 1977Google Scholar
  13. /LS 77/.
    Lehman, D.J.-Smyth, M.B.: Data Types, Proc. 18th IEEE Symposium on Foundations of Computing, Providence, R.I., Nov. 1977, 7–12Google Scholar
  14. /LZ 74/.
    Liskov, B.H.-Zilles, S.N.: Programming with abstract data types, Proc. of ACM Symp. on Very High Level Languages, SIGPLAN Notices 9 (1974), 50–59Google Scholar
  15. /Par 72/.
    Parnas, D.L.: A technique for software module specification with examples, Comm. ACM 15, pp. 330–336, May 1972CrossRefGoogle Scholar
  16. /Pad 78/.
    Padawitz, P.: Stepwise Algebraic Specification and SIMULA Implementation of an Uncompromisable File System, Technical University Berlin, in preparationGoogle Scholar
  17. /TW2 78/.
    Thatcher, J.W.-Wagner, E.G.-Wright, J.B.: Data Type Specification: Parameterization and the Power of Specification Techniques, Proc. SIGACT 10th Symp. on Theory of Computing, San Diego, May 1978Google Scholar
  18. /Wan 77/.
    Wand, M.: Final Algebra Semantics and Data Type Extensions, Indiana University, Comp. Sci. Dept. Technical Report No.65, July 1977Google Scholar
  19. /WOGS3 75/.
    Walter, K.G.-Ogelen, W.F.-Gilligan, J.M.-Schaeffer, D.D.-Schaen, S.I.-Shumway, D.G.: Initial Structured Specifications for an Uncompromisable Computer Security System, Technical Report, Case Western Reserve Univ., 1975Google Scholar
  20. /Zil 74/.
    Zilles, S.N.: Algebraic Specification of Data Types, Proj. MAC Report 11, M.I.T., Cambridge Mass. (1974), 25–28Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Hartmut Ehrig
    • 1
  • Hans-Jörg Kreowski
    • 1
  • Peter Padawitz
    • 1
  1. 1.Technische Universität BerlinFachbereich InformatikGermany

Personalised recommendations