A characterization of abstract data as model-theoretic invariants

  • A. Bertoni
  • G. Mauri
  • P. A. Miglioli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 71)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Bertoni,A., Mauri,G., Miglioli,P.A., Model-theoretic aspects of abstract data specification, Colloquium on Mathematical Logic in Programming, Salgotarjan, 1978Google Scholar
  2. [2]
    Cohn, P.M., Universal Algebra, Harper and Row, New York, 1965Google Scholar
  3. [3]
    Eklof, P.C., Ultraproducts for algebraists, in ‘Handbook of Mathematical Logic’ (J. Barwise ed.), North-Holland, Amsterdam, 1977Google Scholar
  4. [4]
    Goguen,J.A., Thatcher,J.W., Wagner,E.G., An initial algebra approach to the specification, correctness and implementation of abstract data types, IBM Res. Rep. RC6487, Yorktown Heights, 1976Google Scholar
  5. [5]
    Guttag,J.V., Abstract data types and the development of data structures, SIGPLAN Notices 8, 1976Google Scholar
  6. [6]
    Hardgrave,W.T., A technioue for implementing a set processor, SIGPLAN Notices 8, 1976Google Scholar
  7. [7]
    Klaeren,H., Datenraume mit algebraischer struktur, Bericht Nr.43, Technische Hochschule Aachen, 1978Google Scholar
  8. [8]
    Kreisel, G., Model-theoretic invariants: applications to recursive and hyperarithmetic operations, Proc. Symp. on the theory of models, North-Holland, Amsterdam, 1965Google Scholar
  9. [9]
    Liskov,B.H., Zilles,S.N., Programming with abstract data types, SIGPLAN Notices 6, 1974Google Scholar
  10. [10]
    Mac Lane, S., Categories for working mathematician, Springer, Berlin, 1971Google Scholar
  11. [11]
    Majster,M.E., Limits of the algebraic specification of abstract data types, SIGPLAN Notices 9, 1977Google Scholar
  12. [12]
    Oppen,D.C., Reasoning about recursively defined data structures, Res. Rep. STAN-CS-78-678, Stanford University, 1978Google Scholar
  13. [13]
    Robinson, A., Introduction to model theory and metamathematics of algebra, North-Holland, Amsterdam, 1963Google Scholar
  14. [14]
    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, 1978Google Scholar
  15. [15]
    Zilles, S.N., Algebraic specification of data types, Project MAC Progress Report 11, MIT, Cambridge, Mass., 1974Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • A. Bertoni
    • 1
  • G. Mauri
    • 1
  • P. A. Miglioli
    • 1
  1. 1.Istituto di CiberneticaUniversità di MilanoItaly

Personalised recommendations