Behavioral Reflection in a Prototype-Based Language (0)
| Venue: | Proceedings of International Workshop on Reflection and Meta-Level Architectures |
| Citations: | 8 - 2 self |
BibTeX
@INPROCEEDINGS{Malenfant_behavioralreflection,
author = {J. Malenfant and C. Dony and P. Cointe},
title = {Behavioral Reflection in a Prototype-Based Language},
booktitle = {Proceedings of International Workshop on Reflection and Meta-Level Architectures},
year = {},
pages = {143--153}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In [MCD92], we have contributed a reflective model for a prototype-based language based on the lookup ffi apply reflective introspection protocol. Here, we pursue this work by including a reification of continuations. Hence, we provide continuations as first-class objects and convert our previous protocol to handle them. First-class continuations provide much more control over the current computation. Also, this new model establishes the clear link between reflection in object-oriented and reflective towers as examplified by 3Lisp [Smi84]. Object-orientedness provides reflection a more principled and encapsulated programming style, making it easier to use. In this paper, we establish the correctness of this new model, namely that any message in the system will be executed in a finite number of computation steps. This fact is based on a limited number of hypothesis independent from the implementation but from which we derive fundamental clues to derive an evaluator for the language. 1 ...
