A Syntactic Approach to Modularity in Denotational Semantics (1993)
| Venue: | IN PROCEEDINGS OF THE CONFERENCE ON CATEGORY THEORY AND COMPUTER SCIENCE |
| Citations: | 21 - 4 self |
BibTeX
@TECHREPORT{Cenciarelli93asyntactic,
author = {Pietro Cenciarelli and Eugenio Moggi},
title = {A Syntactic Approach to Modularity in Denotational Semantics},
institution = {IN PROCEEDINGS OF THE CONFERENCE ON CATEGORY THEORY AND COMPUTER SCIENCE},
year = {1993}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper proposes a syntactic reformulation of the modular approach to Denotational Semantics in [Mog89a, Mog91a]. This reformulation is based on a duality between model constructions and translations of theories (often called relative interpretations), analogous to Gabriel-Ulmer duality. To demonstrate the simplicity and usability of the syntactic reformulation, we give a sample of theories and translations, which can be used to give semantics to concurrent languages (via translation into suitable metalanguages).
Citations
| 651 | Notions of computation and monads - Moggi - 1991 |
| 634 | A framework for defining logics - Harper, Honsell, et al. - 1999 |
| 303 | Denotational Semantics: A Methodology for Language Development - SCHMIDT - 1986 |
| 154 | An abstract view of programming languages - Moggi - 1990 |
| 141 | Denotational semantics - Mosses - 1990 |
| 76 | The Denotational Description of Programming Languages - Gordon - 1979 |
| 59 | Lokal präsentierbare Kategorien - Gabriel, Ulmer - 1971 |
| 36 | Doctrines in categorical logic - Kock, Reyes - 1977 |
| 35 | Semantics of local variables - O'Hearn, Tennent - 1992 |
| 23 | A category-theoretic account of program modules - Moggi - 1989 |
| 8 | A modular approach to denotational semantics - Moggi - 1991 |
| 4 | Abstract horn theories - Keane - 1975 |
