Path: utzoo!utgpu!news-server.csri.toronto.edu!helios.physics.utoronto.ca!ists!yunexus!oz
From: oz@yunexus.yorku.ca (Ozan Yigit)
Newsgroups: comp.object
Subject: Re: Reflective Languages
Message-ID: <12939@yunexus.YorkU.CA>
Date: 20 Jul 90 23:57:09 GMT
References: <8800@ubc-cs.UUCP>
Sender: news@yunexus.YorkU.CA
Organization: York U. Communications Research & Development
Lines: 27

In article <8800@ubc-cs.UUCP> morrison@cs.ubc.ca (Rick Morrison) writes:
>There have been several references to reflective languages here recently
>including at least one posting claiming to provide a definition.

There has been quite a bit of work on this by some folks at Indiana U:
Wand, Friedman etc. The last ref may be especially of interest: it is
a whole book of papers on the topic. enjoy..	oz

%A Daniel P. Friedman
%A Mitchell Wand
%T Reification: reflection without metaphysics
%J Conference Record of the 1984 ACM Symposium on LISP and Functional
Programming
%C Austin, TX.
%P 348-355
%D August 1984

%A Mitchell Wand
%A Daniel P. Friedman
%T The Mystery of the Tower Revealed: A Non-Reflective
Description of the Reflective Tower
%B Meta-Level Architectures and Reflection
%E P. Maes and D. Nardi
%I Elsevier Sci. Publishers B.V. (North Holland)
%P 111-134
%D 1988
%O Also to appear in Lisp and Symbolic Computation