Preview
Unable to display preview. Download preview PDF.
References
E. Astesiano. Inductive semantics. In Formal Descriptions of Programming Concepts, Berlin, 1991. Springer Verlag.
E. Astesiano, G. Reggio, and E. Zucca. Stores as homomorphisms and their transformations — A uniform approach to structured data types in denotational semantics. Technical report, 1993. Submitted.
E. Astesiano and E. Zucca. A semantic model for dynamic systems. In U.W. Lipeck and B. Thalheim, editors, Fourth International Workshop on Foundations of Models and Languages for Data and Objects — Modelling Database Dynamics, Volkse (Germany), October 1992.
Y. Gurevich. Evolving algebra, a tutorial introduction. Bulletin of the EATCS, (43):264–284, 1991.
G.T. Leavens and K.K. Dhara. A foundation for the model theory of abstract data types with mutation and aliasing. Technical Report 92-35, Department of Computer Science, Iowa State University, Amsterdam, November 1992.
J.C. Reynolds. The essence of Algol. In Intl. Symp. on Algorithmic Languages, Amsterdam, 1981. North-Holland.
D.A. Schmidt. Denotational Semantics: a methodology for language development. Wm. C. Brown Publishers, Duboque, Iowa, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Astesiano, E., Reggio, G., Zucca, E. (1993). Stores as homomorphisms and their transformations. In: Borzyszkowski, A.M., Sokołowski, S. (eds) Mathematical Foundations of Computer Science 1993. MFCS 1993. Lecture Notes in Computer Science, vol 711. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57182-5_16
Download citation
DOI: https://doi.org/10.1007/3-540-57182-5_16
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57182-7
Online ISBN: 978-3-540-47927-7
eBook Packages: Springer Book Archive