Intensions and Extensions in a Reflective Tower (1988)
| Venue: | In Proceedings of the 1988 ACM Conference on LISP and Functional Programming |
| Citations: | 35 - 7 self |
BibTeX
@INPROCEEDINGS{Danvy88intensionsand,
author = {Olivier Danvy and Karoline Malmkjær and Karoline Malmkjr},
title = {Intensions and Extensions in a Reflective Tower},
booktitle = {In Proceedings of the 1988 ACM Conference on LISP and Functional Programming},
year = {1988},
pages = {327--341},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This article presents a model of the reflective tower based on the formal semantics of its levels. They are related extensionally by their mutual interpretation and intensionally by reification and reflection. The key points obtained here are: a formal relation between the semantic domains of each level; a formal identification of reification and reflection; the visualisation of intensional snapshots of a tower of interpreters; a formal justification and a generalization of Brown's meta-continuation; a (structural) denotational semantics for a compositional subset of the model; the distinction between making continuations jumpy and pushy; the discovery of the tail-reflection property; and a Scheme implementation of a properly tail-reflective and single-threaded reflective tower. Section 1 presents the new approach taken here: rather than implementing reification and reflection leading to a tower, we consider an infinite tower described by the semantics of each level and relate these ...
