This research has been developed in the frame of the Communication and Programming Project of Università di Milano and Honeywell Information Systems Italia, and supported by CNR.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Bertoni,A., Mauri,G., Miglioli,P.A., Model-theoretic aspects of abstract data specification, Colloquium on Mathematical Logic in Programming, Salgotarjan, 1978
Cohn, P.M., Universal Algebra, Harper and Row, New York, 1965
Eklof, P.C., Ultraproducts for algebraists, in ‘Handbook of Mathematical Logic’ (J. Barwise ed.), North-Holland, Amsterdam, 1977
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, 1976
Guttag,J.V., Abstract data types and the development of data structures, SIGPLAN Notices 8, 1976
Hardgrave,W.T., A technioue for implementing a set processor, SIGPLAN Notices 8, 1976
Klaeren,H., Datenraume mit algebraischer struktur, Bericht Nr.43, Technische Hochschule Aachen, 1978
Kreisel, G., Model-theoretic invariants: applications to recursive and hyperarithmetic operations, Proc. Symp. on the theory of models, North-Holland, Amsterdam, 1965
Liskov,B.H., Zilles,S.N., Programming with abstract data types, SIGPLAN Notices 6, 1974
Mac Lane, S., Categories for working mathematician, Springer, Berlin, 1971
Majster,M.E., Limits of the algebraic specification of abstract data types, SIGPLAN Notices 9, 1977
Oppen,D.C., Reasoning about recursively defined data structures, Res. Rep. STAN-CS-78-678, Stanford University, 1978
Robinson, A., Introduction to model theory and metamathematics of algebra, North-Holland, Amsterdam, 1963
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, 1978
Zilles, S.N., Algebraic specification of data types, Project MAC Progress Report 11, MIT, Cambridge, Mass., 1974
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertoni, A., Mauri, G., Miglioli, P.A. (1979). A characterization of abstract data as model-theoretic invariants. In: Maurer, H.A. (eds) Automata, Languages and Programming. ICALP 1979. Lecture Notes in Computer Science, vol 71. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09510-1_3
Download citation
DOI: https://doi.org/10.1007/3-540-09510-1_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09510-1
Online ISBN: 978-3-540-35168-9
eBook Packages: Springer Book Archive