BibSonomy :: publication :: Reification: Reflection without Metaphysics

Reification: Reflection without Metaphysics

Daniel P. Friedman, and Mitchell Wand. Proceedings of the 1984 ACM Symposium on LISP and functional programming, page 348--355. New York, NY, USA, ACM, (1984)

@inproceedings{Friedman:1984:RRW:800055.802051,
  abstract = {<par>We consider how the data structures of an interpreter may be made available to the program it is running, and how the program may alter its interpreter's structures. We refer to these processes as <italic>reification</italic> and <italic>reflection</italic>. We show how these processes may be considered as an extension of the fexpr concept in which not only the form and the environment, but also the continuation, are made available to the body of the procedure. We show how such a construct can be used to effectively add an unlimited variety of &ldquo;special forms&rdquo; to a very small base language. We consider some trade-offs in how interpreter objects are reified. Our version of this construct is similar to one in 3-Lisp [Smith 82, 84], but is independent of the rest of 3-Lisp. In particular, it does not rely on the notion of a tower of interpreters.</par>},
  acmid = {802051},
  added-at = {2012-10-04T19:14:49.000+0200},
  address = {New York, NY, USA},
  author = {Friedman, Daniel P. and Wand, Mitchell},
  biburl = {http://www.bibsonomy.org/bibtex/262ea42800b3c0b0cbf78b346a8a4ed4a/gron},
  booktitle = {Proceedings of the 1984 ACM Symposium on LISP and functional programming},
  description = {Reification},
  doi = {10.1145/800055.802051},
  interhash = {8ed9ede4fdb13833d3de525b8623682d},
  intrahash = {62ea42800b3c0b0cbf78b346a8a4ed4a},
  isbn = {0-89791-142-3},
  keywords = {Reflection Reification},
  location = {Austin, Texas, United States},
  numpages = {8},
  pages = {348--355},
  publisher = {ACM},
  series = {LFP '84},
  timestamp = {2012-10-04T19:14:49.000+0200},
  title = {Reification: Reflection without Metaphysics},
  url = {http://doi.acm.org/10.1145/800055.802051},
  year = 1984
}

%0 Conference Paper
%1 Friedman:1984:RRW:800055.802051
%A Friedman, Daniel P.
%A Wand, Mitchell
%B Proceedings of the 1984 ACM Symposium on LISP and functional programming
%@ 0-89791-142-3
%C New York, NY, USA
%D 1984
%I ACM
%K 
%P 348--355
%T Reification: Reflection without Metaphysics
%R 10.1145/800055.802051
%U http://doi.acm.org/10.1145/800055.802051
%X <par>We consider how the data structures of an interpreter may be made available to the program it is running, and how the program may alter its interpreter's structures. We refer to these processes as <italic>reification</italic> and <italic>reflection</italic>. We show how these processes may be considered as an extension of the fexpr concept in which not only the form and the environment, but also the continuation, are made available to the body of the procedure. We show how such a construct can be used to effectively add an unlimited variety of &ldquo;special forms&rdquo; to a very small base language. We consider some trade-offs in how interpreter objects are reified. Our version of this construct is similar to one in 3-Lisp [Smith 82, 84], but is independent of the rest of 3-Lisp. In particular, it does not rely on the notion of a tower of interpreters.</par>

discussion

(0)

resources (URL, PDF, ...)

DOI:	10.1145/800055.802051
URL:	http://doi.acm.org/10.1145/800055.802051
internal link: ? You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.
BibTeX key:	Friedman:1984:RRW:800055.802051

abstract

<par>We consider how the data structures of an interpreter may be made available to the program it is running, and how the program may alter its interpreter's structures. We refer to these processes as <italic>reification</italic> and <italic>reflection</italic>. We show how these processes may be considered as an extension of the fexpr concept in which not only the form and the environment, but also the continuation, are made available to the body of the procedure. We show how such a construct can be used to effectively add an unlimited variety of “special forms” to a very small base language. We consider some trade-offs in how interpreter objects are reified. Our version of this construct is similar to one in 3-Lisp Smith 82, 84, but is independent of the rest of 3-Lisp. In particular, it does not rely on the notion of a tower of interpreters.</par>

Description

Reification

publication post of gron

Reification: Reflection without Metaphysics

discussion

resources (URL, PDF, ...)

abstract

Description