Advertisement

On the algebraic extensions of abstract data types

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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