Olivier Danvy, Karoline Malmkjær  Home/Search
Context Related
Links: ACM DBLP | daimi.au.dk/~danvy...mkjaerLFP88.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: brics.dk/~danvy/research (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Context of citations to this paper: More
...these metaobjects also have separate meta objects (or evaluators) associated with them. Instead of having a meta object 9 See [WF86] [DM88] or [T90] for a description of this. tower, shifting up levels can be done one step at a time, as described above. Our approach offers a...
.... technique, where a tower of interpreters is understood as an interpreter with an infinite data structure called meta continuation[23, 124]. This study, for the sake of simplicity, assumes a reflective system that has only the base level and the meta level. This...
Cited by: More
Implementing Multi-stage Languages Using ASTs, Gensym.. - Calcagno, Taha, Huang, .. (Correct)
Architecture Design and Compilation Techniques Using Partial.. - Masuhara (1999) (Correct)
Actor Reflection without Meta-Objects - TANAKA (1991) (Correct)
Active bibliography (related documents): More All
2.5: A Blond Primer - Danvy, Malmkjær (1988) (Correct)
0.5: Abstracting Control - Danvy, Filinski (1990) (Correct)
0.3: A Functional Abstraction of Typed Contexts - Danvy, Filinski (1989) (Correct)
Similar documents based on text: More All
0.7: Action Reification In Object-Oriented Specification - Denker, Ehrich (1995) (Correct)
0.2: Declarative Continuations and Categorical Duality - Filinski (1989) (Correct)
0.2: Thunks and the lambda-Calculus - Hatcliff, Danvy (1993) (Correct)
Related documents from co-citation: More All
26: The mystery of the tower revealed: A non-reflective description of the reflectiv.. (context) - Wand, Friedman - 1988
15: The implementation of procedurally reflective languages (context) - Rivieres, Smith - 1984
13: Reflection and semantics in lisp (context) - Smith - 1984
BibTeX entry: (Update)
Danvy, O., and Malmkjaer, K., Intensions and Extensions in a Reflective Tower, Conference Record of the 1988 ACM Symposium on LISP and Functional Programming, Snowbird, Utah, July 1988, 327--341. http://citeseer.ist.psu.edu/danvy88intensions.html More
@inproceedings{ danvy88intensions,
author = "O. Danvy and K. Malmkj{\ae}r",
title = "Intensions and Extensions in a Reflective Tower",
booktitle = "Proceedings of the 1988 {ACM} Conference on {LISP} and Functional Programming, Snowbird, {UT}",
publisher = "ACM",
address = "New York, NY",
pages = "327--341",
year = "1988",
url = "citeseer.ist.psu.edu/danvy88intensions.html" }
Citations (may not include all citations):197 Revised 3 Report on the Algorithmic Language Scheme - Rees, Clinger - 1986
195 Department of Computer Science - Talcott, of et al. - 1985
4 John Merrill: Beyond Continuations (context) - Felleisen, Friedman et al. - 1987
4 Smith: Reflection and Semantics in a Procedural Language (context) - Brian - 1982
3 or Why the FUNARG Problem should be called the Environment P.. (context) - Moses, of et al. - 1970
3 Schmidt: Denotational Semantics: a Methodology for Language .. (context) - David - 1986
2 Mitchell Wand: Reification: Reflection without Metaphysics (context) - Friedman - 1984
2 Harald Sndergaard: MIX: a Self-Applicable Partial Evaluator .. (context) - Jones, Sestoft - 1988
2 Salt Lake City (context) - Smith, Semantics et al. - 1984
2 Preprints of the Workshop on Meta-Level Architectures and Re.. (context) - Wand, Friedman et al. - 1986
1 Sussman: The Revised Report on SCHEME (context) - Jr - 1978
1 Pleban: A Semantic Comparison of Lisp and Scheme (context) - Muchnick - 1980
1 School of Mathematical Sciences (context) - Sturdy, thesis et al. - 1988
1 Smith: The Implementation of Procedurally Reflective Languag.. (context) - Rivieres - 1984
1 Karoline Malmkjr: A Blond Primer (context) - Danvy - 1988
1 from Meta-Level Architectures and Reflection (context) - Rivieres, Facilities et al. - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.brics.dk/~danvy/research.html): More
Separating Stages in the Continuation-Passing Style.. - Lawall, Danvy (1993) (Correct)
CPS Transformation after Strictness Analysis - Danvy, Hatcliff (1993) (Correct)
Back to Direct Style II: First-Class Continuations - Danvy, Lawall (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC