• Summary
• Related Documents
  • Active Bibliography
  • Co-citation
• Version History

Popular Tags

Add a tag:

No tags have been applied to this document.

BibTeX | Add To MetaCart

@INPROCEEDINGS{Jefferson92asimple,
    author = {Stanley Jefferson and Stanley Jefferson and Daniel P. Friedman and Daniel P. Friedman},
    title = {A Simple Reflective Interpreter},
    booktitle = {Lisp and Symbolic Computation, 9(2/3):181–202, May/June},
    year = {1992},
    pages = {48--58}
}

Years of Citing Articles

Bookmarks

         

OpenURL

 

Abstract:

Procedurally reflective programming languages enable user programs to semantically extend the language itself, by permitting them to run at the level of the language implementation with access to their context. The reflective tower, first introduced by Brian Smith [9, 10], is the principal architecture for such languages. It is informally described as an infinitely ascending tower of meta-circular interpreters, connected by a mechanism that allows programs at one level to run at the next higher level. Various accounts of the reflective tower have been published, including a meta-circular definition, operational definitions, and denotational definitions. We present an operational account of the main aspects of the reflective tower, which we claim is simpler than previous accounts. Our approach is to implement a finite tower where each level literally runs the level directly below it. A complete Scheme implementation is included. 1 Introduction The principal characteristic of reflectiv...

Citations