Semantic Lego

  title={Semantic Lego},
  author={David Espinosa},
Denotational semantics [Sch86] is a powerful framework for describing programming languages; however, its descriptions lack modularity: conceptually independent language features in uence each others' semantics. We address this problem by presenting a theory of modular denotational semantics. Following Mosses [Mos92], we divide a semantics into two parts, a computation ADT and a language ADT (abstract data type). The computation ADT represents the basic semantic structure of the language. The… CONTINUE READING
Highly Cited
This paper has 90 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
58 Citations
1 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 58 extracted citations

91 Citations

Citations per Year
Semantic Scholar estimates that this publication has 91 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Category theory and functional programming

  • Michael Spivey
  • Technical Report PRG TR 7-93,
  • 1990

Similar Papers

Loading similar papers…