Intensions and extensions in a reflective tower

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988

Volumn , Issue , 1988, Pages 327-341

  Danvy, Olivier ^a,b   Malmkjær, Karoline ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

^b SORBONNE UNIVERSITÉ   (France)

Author keywords

Blond; Jumpy and pushy continuations; Meta continuation; Procedural reflection; Reification; Single threadedness; Tail reflection

Indexed keywords

FORMAL METHODS; LISP (PROGRAMMING LANGUAGE); SEMANTICS; TOWERS;

BLOND; JUMPY AND PUSHY CONTINUATIONS; META-CONTINUATION; REIFICATION; SINGLE-THREADEDNESS;

FUNCTIONAL PROGRAMMING;

EID: 85006704803     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/62678.62725     Document Type: Conference Paper

References (19)

1. [Danvy 87] Olivier Danvy: Accross the Bridge between Reflection and Partial Evaluation, Proceedings of the Workshop on Partial Evaluation and Mixed Computation, Dines Bj0rner, Andrei P. Ershov and Neil D. Jones (eds.), North-Holland (to appear), Gl. Avernaes, Denmark (October 1987)
2. [Danvy k Malmkjaer 88] Olivier Danvy, Karoline Malmkjaer: A Blond Primer, draft, DIKU, University of Copenhagen, Copenhagen, Denmark (February 1988)
3. [des Rivieres & Smith 84] Jim des Rivieres, Brian C. Smith: The Implementation of Procedurally Reflective Languages, Conference Record of the 1984 ACM Symposium on LISP and Functional Programming pp 331-347, Austin, Texas (August 1984)
4. [des Rivieres 88] Jim des Rivieres: Control-Related Meta-Level Facilities in LISP, from Meta-Level Architectures and Reflection, Patti Maes k Daniele Nardi (eds.), North-Holland (1988)
5. [Felleisen et al. 87] Matthias Felleisen, Daniel P. Friedman, Bruce F. Duba, John Merrill: Beyond Continuations, Technical Report No 216, Computer Science Department, Indiana University, Bloomington, Indiana (February 1987)
6. [Friedman k Wand 84] Daniel P. Friedman, Mitchell Wand: Reification: Reflection without Metaphysics, Conference Record of the 1984 ACM Symposium on LISP and Functional Programming pp 348-355, Austin, Texas (August 1984)
7. [Jones et al. 88] Neil D. Jones, Peter Sestoft, Harald S0ndergaard: MIX: a Self-Applicable Partial Eval- uator for Experiments in Compiler Generation, to appear in the International Journal LISP and Symbolic Computation, (1988)
8. [Moses 70] Joel Moses: The Function of FUNCTION in LISP, or Why the FUNARG Problem should be called the Environment Problem, MIT-AIL, AI Memo No 199, Cambridge, Massachusetts (June 1970)
9. [Muchnick k Pleban 80] Steven S. Muchnick, Uwe F. Pleban: A Semantic Comparison of Lisp and Scheme, Conference Record of the 1980 LISP Conference pp 56-64, Stanford, California (August 1980)
10. [Rees & Clinger 86] Jonathan Rees, William Clinger (eds): Revised3 Report on the Algorithmic Language Scheme, Sigplan Notices, Vol. 21, No 12 pp 37-79 (December 1986)
11. [Schmidt 86] David A. Schmidt: Denotational Semantics: a Methodology for Language Development, Al- lyn and Bacon, Inc. (1986)
12. [Smith 82] Brian C. Smith: Reflection and Semantics in a Procedural Language, Ph. D. thesis, MIT/- LCS/TR-272, Cambridge, Massachusetts (January 1982)
13. [Smith 84] Brian C. Smith: Reflection and Semantics in Lisp, Conference Record of the 14th Annual ACM Symposium on Principles of Programming Languages pp 23-35, Salt Lake City, Utah (January 1984)
14. [Steele & Sussman 78] Guy L. Steele Jr., Gerald J. Sussman: The Revised Report on SCHEME, a Dialect of LISP, MIT-AIL, AI Memo No 452, Cambridge, Massachusetts (January 1978)
15. [Sturdy 88] John C. G. Sturdy: Ph. D. thesis (forthcoming), University of Bath, School of Mathematical Sciences, Bath, England (1988)
16. [Talcott 85] Carolyn Talcott: The Essence of Hum: A Theory of the Intensional and Extensional Aspects of Lisp-type Computation, Ph. D. thesis, Department of Computer Science, Stanford University, Stanford, California (August 1985)
17. [Wand & Friedman 86] Mitchell Wand, Daniel P. Friedman: The Mystery of the Tower Revealed: a Non-Reflective Description of the Reflective Tower, Conference Record of the 1986 ACM Symposium on LISP and Functional Programming pp 298-307, Cambridge, Massachusetts (August 1986)
18. [Wand, Friedman & Duba 86] Mitchell Wand, Daniel P. Friedman, Bruce F. Duba: Getting the Levels Right (Preliminary Report), Preprints of the Workshop on Meta-Level Architectures and Reflection, Patti Maes & Daniele Nardi (eds.), Alghero, Sardinia (October 1986)
19. [Wand k Friedman 88] Mitchell Wand, Daniel P. Friedman: The Mystery of the Tower Revealed: a Non-Reflective Description of the Reflective Tower, to appear in the International Journal LISP and Symbolic Computation (1988)