Stores as homomorphisms and their transformations

  • Egidio Astesiano
  • Gianna Reggio
  • Elena Zucca
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 711)


Denotational Semantic Consistency Requirement Dynamic Operation Imperative Language Signature Morphism 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    E. Astesiano. Inductive semantics. In Formal Descriptions of Programming Concepts, Berlin, 1991. Springer Verlag.Google Scholar
  2. 2.
    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.Google Scholar
  3. 3.
    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.Google Scholar
  4. 4.
    Y. Gurevich. Evolving algebra, a tutorial introduction. Bulletin of the EATCS, (43):264–284, 1991.Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    J.C. Reynolds. The essence of Algol. In Intl. Symp. on Algorithmic Languages, Amsterdam, 1981. North-Holland.Google Scholar
  7. 7.
    D.A. Schmidt. Denotational Semantics: a methodology for language development. Wm. C. Brown Publishers, Duboque, Iowa, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Egidio Astesiano
    • 1
  • Gianna Reggio
    • 1
  • Elena Zucca
    • 1
  1. 1.Dipartimento di Informatica e Scienze dell'InformazioneUniversità di GenovaGenovaItaly

Personalised recommendations