Mitchell Wand, Daniel P. Friedman, and Bruce F. Duba: Getting the Levels Right, Preprints of the Workshop on Meta-Level Architectures and Reflection, Patti Maes and Daniele Nardi (eds.), Vrije Universiteit Brussel, AI-Laboratory, Internal Report, (October 1986) Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Blond Primer - Danvy, Malmkjær (1988) (Correct)
....from level n. As the continuation is a closure, neither expression nor environment are necessary they are specified in the continuation itself. Blond o#ers the third implementation of a reflective tower we know of. It comes after 3Lisp [Smith des Rivieres 84] and Brown [Friedman Wand 84] Wand, Friedman Duba 86] Wand Friedman 88] 3 Lisp is implemented in InterLisp D and runs on a Lisp Machine. It is a complete system on its own. Brown is implemented in Scheme 84 and is a minimal reflective system. With Blond, we have chosen to o#er basically the language Scheme at each level of the tower, and to ....
Mitchell Wand, Daniel P. Friedman, and Bruce F. Duba: Getting the Levels Right, Preprints of the Workshop on Meta-Level Architectures and Reflection, Patti Maes and Daniele Nardi (eds.), Vrije Universiteit Brussel, AI-Laboratory, Internal Report, (October 1986)
Intensions and Extensions in a Reflective Tower - Danvy, Malmkjær (1988) (28 citations) (Correct)
....and intensional aspects of a reflective tower. The results obtained are a non reflective, more general and more precise description (that is: requiring less intuition) and an implementation running in Scheme [Rees Clinger 86] a little bigger than the Brown reflective tower [Wand Friedman 86] Wand, Friedman Duba 86] but richer and more consistent with respect to the formal description presented here. The terms extensional and intensional are taken in their general sense, as in [Talcott 85] that is: the first addresses the abstract what , in the usual mathematical sense, and the latter covers the ....
....Brown is thus single threaded. The implementation of Brown in 1984 was flat in the sense of towerless, while the one of 1986 is towerful, with the meta continuation. It is an impressively neat piece of Scheme programming, where basically all functions are curried and untyped abstractions. Wand, Friedman Duba 86] attempts to circumvent the cost of shifting environments and continuations up and down by coercing them. We have described the e#ect of a couple of design choices in Brown, which have occurred to us while establishing the extensional aspects of the model described in this paper: pushy ....
[Article contains additional citation context not shown here]
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)
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