Re: What's the word for...

Marco Jacques <marcoj@iro.umontreal.ca>
Fri, 18 Feb 1994 08:49:42 GMT

          From comp.compilers

Related articles
What's the word for... tjj@netnews.summit.novell.com (1994-02-16)
Re: What's the word for... hagerman@ece.cmu.edu (1994-02-17)
Re: What's the word for... gorton@blorf.amt.ako.dec.com (1994-02-17)
Re: What's the word for... tjj@netnews.summit.novell.com (1994-02-17)
Re: What's the word for... lawley@kurango.cit.gu.edu.au (1994-02-18)
Re: What's the word for... PJENSEN@CSI.compuserve.com (1994-02-18)
Re: What's the word for... marcoj@iro.umontreal.ca (Marco Jacques) (1994-02-18)
Re: What's the word for... galibero@mines.u-nancy.fr (1994-02-18)
Re: What's the word for... glockner@cosc.bsu.umd.edu (Alexander Glockner) (1994-02-18)
Re: What's the word for... norman@flaubert.bellcore.com (1994-02-19)
Re: What's the word for... tchannon@black.demon.co.uk (1994-02-20)
Re: What's the word for... moreaux@litsun31.epfl.ch (1994-02-20)
Re: What's the word for... sasghm@unx.sas.com (1994-02-21)
[6 later articles]
| List of all articles for this month |
Newsgroups: comp.compilers
From: Marco Jacques <marcoj@iro.umontreal.ca>
Keywords: theory, bibliography
Organization: Compilers Central
References: 94-02-106
Date: Fri, 18 Feb 1994 08:49:42 GMT

> Could someone please tell me what the word is for a language
> which can be written in itself?


I don't know if this is you're looking for, but there's the notion of a
reflective language. A reflective language is a language which incorporates
structures represting itself ( introspection ). It's possible to examine or
modify thoses structures. Then, it's possible to examine or modify the
semantics of suchs languages.


There's several examples of implementations of reflective languages (3-Lisp
and to a certain point Smalltalk ). Here's some references if you want to
know more about reflective languages.




@article{,
                author = {P. Maes},
                title = {{Concepts and Experiments in Computational Reflection}},
                journal = {Proceedings of OOPSLA'87, ACM Sigplan Notices},
                volume = 22,
                number = 12,
                month = {December},
                year = 1987,
                pages = {147--155}
                }


@article{,
                author = {Cointe, P.},
                title = {{Metaclasses are First Class: the ObjVLisp Model}},
                journal = {Proceedings of OOPSLA'87, ACM Sigplan Notices},
                volume = 22,
                number = 12,
                month = {December},
                year = 1987,
                pages = {156--167}
                }


@inproceedings{,
author = {J. des Rivi\`eres and B. C. Smith},
title = {{The implementation of procedurally reflective
languages}},
booktitle = {{Proceedings of the 1984 ACM Symposium on
Lisp and Functional Programming}},
month = {August},
year = 1984,
pages = {331--347}
}


@proceedings{
key = {WRMA91},
                title = {{Informal Proceedings of the Second Workshop on Reflection
                                            and Metalevel Architectures in Object-Oriented
                                            Programming, OOPSLA'91}},
                booktitle = {{Informal Proceedings of the Second Workshop on Reflection
                                            and Metalevel Architectures in Object-Oriented
                                            Programming, OOPSLA'91}},
                annote = {Distributed to the workshop participants},
                month = {October},
                year = 1991
                }


@proceedings{,
key = {WRMA90},
title = {{Informal Proceedings of the First Workshop on Reflection
and Metalevel Architectures in Object-Oriented
Programming, OOPSLA/ECOOP'90}},
booktitle = {{Informal Proceedings of the First Workshop on Reflection
and Metalevel Architectures in Object-Oriented
Programming, OOPSLA/ECOOP'90}},
annote = {Distributed to the workshop participants},
month = {October},
year = 1990
}


I'll hope this help.


Marco
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.