On the algebraic extensions of abstract data types

  • Manfred Broy
  • Martin Wirsing
Part of the Lecture Notes in Computer Science book series (LNCS, volume 107)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ADJ 78a]
    J.A. Goguen, J.W. Thatcher, E.G. Wagner: An initial algebra approach to specification, correctness and implementation of abstract data types. In: Current Trends in Programming Methodology IV: Data Structuring (R. Yeh, ed.), Prentice Hall (1978), 80–144.Google Scholar
  2. [ABN 80]
    H. Andreka, B. Burmeister, I. Nemeti: Quasivarieties of partial algebras — a unifying approach towards a two-valued model theory for partial algebras. TH Darmstadt, FB Mathematik, Preprint Nr. 557.Google Scholar
  3. [BD 81]
    M. Bergman, P. Deransart: Abstract data types and rewriting systems: Application to the programming of algebraic abstract data types in Prolog. 6th CAAP, Genova, March 1981.Google Scholar
  4. [BT 80]
    J. Bergstra, J. Tucker: Initial and final algebra semantics for data type specifications: Two characterisation theorems. Math. Centre, Dept. of Comp. Science Report IW 142, Amsterdam, 1980.Google Scholar
  5. [BBTW 81]
    J.A. Bergstra, M. Broy, J.V. Tucker, M. Wirsing: On the power of algebraic specifications. To appear.Google Scholar
  6. [BDPPW 79]
    M. Broy, W. Dosch, H. Partsch, P. Pepper, M. Wirsing: Existential quantifiers in abstract data types. 6th ICALP, Graz, 1979, LNCS 71, 73–87 (1979).Google Scholar
  7. [BW 80a]
    M. Broy, M. Wirsing: Programming languages as abstract data types. In: M. Dauchet (ed.): Lille Colloque 80.Google Scholar
  8. [BW 80b]
    M. Broy, M. Wirsing: Initial versus terminal algebra semantics for partially defined abstract types. Tech. Universität München, Institut für Informatik, TUM-I8018, December 1980.Google Scholar
  9. [EKP 78]
    H. Ehrig, H.J. Kreowski, P. Padawitz: Stepwise specification and implementation of abstract data types. 5th ICALP, Udine, LNCS 62, 205–226, 1978.Google Scholar
  10. [GHM 76]
    J.V. Guttag, E. Horowitz, D.R. Musser: The design of data type specifation. 2nd Int. Conf. on Software Engineering, ACM/IEEE, 1976.Google Scholar
  11. [GH 78]
    J.V. Guttag, J.J. Horning: The algebraic specification of abstract data types. Acta Informatica 10, 27–52 (1978).CrossRefGoogle Scholar
  12. [HR 80]
    G. Hornung, P. Raulefs: Terminal algebra semantics and retractions for abstract data types. 7th ICALP (1980), LNCS 85, 310–323.Google Scholar
  13. [H 77]
    G. Huet: Confluent reductions: Abstract properties and applications to term rewriting systems. 18th IEEE Symp. of Foundations of Comp. Science (1977), 30–45.Google Scholar
  14. [HO 80]
    G. Huet, D. Oppen: Equations and rewrite rules: a survey. In: R. Book (ed.) Formal languages: Perspectives and open problems. Academic Press, 1980.Google Scholar
  15. [K 80]
    H.A. Klaeren: A simple class of algorithmic specifications for abstract software modules. 9th MFCS, Rydzyna, LNCS 88, 362–374, 1980.Google Scholar
  16. [Lo 80]
    J. Loeckx: Algorithmic specifications of abstract data types. Universität Saarbrücken, Rep. A 80/12.Google Scholar
  17. [P 80]
    P. Padawitz: New results on completeness and consistency of abstract data types. 9th MFCS, Rydzyna, LNCS 88, 460–473, 1980.Google Scholar
  18. [P 76]
    G.D. Plotkin: A powerdomain construction. SIAM J. of Comp., 5, 452–487,1976.Google Scholar
  19. [R 80]
    H. Reichel: Initially restricting algebraic theories. 9th MFCS, Rydzyna, LNCS 88, 504–514, 1980.Google Scholar
  20. [Wa 78]
    M. Wand: Final algebra semantics and data type extensions. Indiana University TR65, 1978.Google Scholar
  21. [WB 80]
    M. Wirsing, M. Broy: Abstract data types as lattices of finitely generated models. 9th MFCS, Rydzyna, LNCS 88, 673–685, 1980.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Manfred Broy
    • 1
  • Martin Wirsing
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchen 2FRG

Personalised recommendations