Observability concepts in abstract data type specification

  • V. Giarratana
  • F. Gimona
  • U. Montanari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)


Virtual Machine Variable Term Symbolic Representation Congruence Class Complete Specification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Dahl, O.J., Dijkstra, E.W. and Hoare, C.A.R., Structured Programming, Academic Press, 1972.Google Scholar
  2. [2]
    Liskov, B., A Note on CLU, MIT project MAC Computation Structures Group Memo 112, Cambridge, Mass., November 1974.Google Scholar
  3. [3]
    Wulf, W.A., ALPHARD: Towards a Language to Support Structured Programs, Dept. of Computer Science, Carnegie-Mellon University, Pittsburgh, April 1974.Google Scholar
  4. [4]
    Liskov, B. and Zilles, S., Specification Techniques for Data Abstraction, IEEE Transactions on Software Engineering, Vol. SE-1, No 1, March 1975, pp. 7–19.Google Scholar
  5. [5]
    Zilles, S., Algebraic Specification of Data Types, MIT Project MAC Progress Report XI, Cambridge, 1973–74, pp.52–58.Google Scholar
  6. [6]
    Guttag, J.V., The Specification and Application to Programming of Abstract Data Types, PhD Thesis, University of Toronto, Dept. of Computer Science, 1975, also Computer System Research Group Technical Report CSRG-59, September 1975.Google Scholar
  7. [7]
    Goguen, J.A., Thatcher, J.W., Wagner, E.C. and Wright, J.B., Abstract Data Types as Initial Algebras and the Correctness of Data Representation.Google Scholar
  8. [8]
    Birkhoff, G. and Lipson, J.D., Heterogeneous Algebras, Journal of Combinatorial Theory, 8, 1970, pp.115–133.Google Scholar
  9. [9]
    Goguen, J.A. and Thatcher, J.W., Initial Algebra Semantics, 1974 IEEE Switching and Automata Theory Conference, New Orleans, pp.63–77.Google Scholar
  10. [10]
    Montanari, U., Data Structures, Program Structure and Graph Grammars, Lecture Notes of the Course on "Data and Program Structures: Syntax and Semantics" May 3–15, 1976, Erice, Italy.Google Scholar
  11. [11]
    Thatcher, J.W., Tree Automata: An Informal Survey, in: Currents in Computing, Prentice-Hall, 1973, pp.143–172.Google Scholar
  12. [12]
    McCluskey, E.J., Introduction to the Theory of Switching Circuits, McGraw-Hill, New York, 1965.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • V. Giarratana
    • 1
  • F. Gimona
    • 1
  • U. Montanari
    • 1
  1. 1.Istituto di Scienze dell'InformazioneUniversity of PisaItaly

Personalised recommendations