Extensible Denotational Language Specifications (1994)
Cached
Download Links
- [www.ccs.neu.edu]
- [www.cs.rice.edu]
- [www.swiss.ai.mit.edu:8000]
- DBLP
Other Repositories/Bibliography
| Venue: | SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE, NUMBER 789 IN LNCS |
| Citations: | 30 - 4 self |
BibTeX
@INPROCEEDINGS{Cartwright94extensibledenotational,
author = {Robert Cartwright and Matthias Felleisen},
title = {Extensible Denotational Language Specifications},
booktitle = {SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SOFTWARE, NUMBER 789 IN LNCS},
year = {1994},
pages = {244--272},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Traditional denotational semantics assigns radically different meanings to one and the same phrase depending on the rest of the programming language. If the language is purely functional, the denotation of a numeral is a function from environments to integers. But, in a functional language with imperative control operators, a numeral denotes a function from environments and continuations to integers. This paper introduces a new format for denotational language specifications, extended direct semantics, that accommodates orthogonal extensions of a language without changing the denotations of existing phrases. An extended direct semantics always maps a numeral to the same denotation: the injection of the corresponding number into the domain of values. In general, the denotation of a phrase in a functional language is always a projection of the denotation of the same phrase in the semantics of an extended language---no matter what the extension is. Based on extended direct semantics, i...
