A Semantics of Introspection in a Reflective Prototype-Based Language (1996)
| Venue: | LISP AND SYMBOLIC COMPUTATION |
| Citations: | 8 - 3 self |
BibTeX
@INPROCEEDINGS{Malenfant96asemantics,
author = {Jacques Malenfant and Christophe Dony and Pierre Cointe},
title = {A Semantics of Introspection in a Reflective Prototype-Based Language},
booktitle = {LISP AND SYMBOLIC COMPUTATION},
year = {1996},
pages = {153--180},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In Malenfant et al. [19], we have described a reflective model for a prototypebased language based on the lookup ffi apply reflective introspection protocol. In this paper, we augment our previous protocol by converting it to handle continuations reified as first-class objects. First-class continuations provide much more control over the current computation; during the introspection phase fired by message sending, they make it possible not only to change the behavior of the program for that message but also for the entire future computation. In this paper, we provide this introspection protocol with a formal semantics. This result is obtained by exhibiting a mapping \Delta from program configurations to priority rewrite systems (PRS) as well as a mapping from message expressions to ground first-order terms used to query the PRS. Other advantages of this approach are: to ensure the termination of the introspection using the smallest set of formally justified conditions and to provide ...
