Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages

DOI10.1016/S0167-6423(98)00022-7zbMath0939.68069MaRDI QIDQ1806130

Gianna Reggio, Elena Zucca, Egidio Astesiano

Publication date: 1 November 1999

Published in: Science of Computer Programming (Search for Journal in Brave)

zbMATH Keywords

denotational semanticsimperative languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

This page was built for publication: Stores as homomorphisms and their transformations: A uniform approach to structured types in imperative languages