Computational Reflection in Maastricht
Francois-Rene Rideau <email@example.com>
Fri Feb 8 03:00:02 2002
Content-Type: text/plain; charset=iso-8859-1
Here is a message I received from a student in Maastricht...
[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
[ TUNES project for a Free Reflective Computing System | http://tunes.org ]
Atheism is a non-prophet organization.
Received: from samaris
([127.0.0.1] helo=localhost ident=fetchmail)
by Samaris with esmtp (Exim 3.34 #1)
for fare@localhost; Thu, 07 Feb 2002 21:46:40 +0100
Received: from mail.bespin.org [188.8.131.52]
by localhost with IMAP (fetchmail-5.9.6)
for fare@localhost (single-drop); Thu, 07 Feb 2002 21:46:40 +0100 (CET)
Received: from RL0002.unimaas.nl (rl0002.unimaas.nl [184.108.40.206])
by bespin.org (Postfix) with ESMTP id 9FA705A3
for <firstname.lastname@example.org>; Thu, 7 Feb 2002 04:22:07 -0800 (PST)
Received: from mail001.unimaas.nl (mail001.unimaas.nl [220.127.116.11])
by RL0002.UNIMAAS.NL (PMDF V5.2-32 #38965)
with ESMTP id <01KDZR28OPZW001QA6@RL0002.UNIMAAS.NL> for email@example.com; Thu,
7 Feb 2002 12:34:55 +0100
Received: by mail001.unimaas.nl with Internet Mail Service (5.5.2653.19)
id <CT67548X>; Thu, 07 Feb 2002 12:34:52 +0100
Date: Thu, 07 Feb 2002 12:34:49 +0100
Subject: master's thesis on computational reflection
X-Mailer: Internet Mail Service (5.5.2653.19)
Content-type: text/plain; charset="iso-8859-1"
X-Spam-Status: No, hits=1.2 required=5.0 tests=NO_REAL_NAME version=2.01
First, I would like to express my appreciations for the work you have done
on reflection. I have studied your paper "Meta-programming and Free
Availability of Sources" and found it to be very informative.
I wanted to let you know, that as a student of the Universiteit Maastricht,
The Netherlands, I am, guided by Peter Braspenning, working on my master's
thesis about (procedural) computational reflection. As fascinating as the
subject is, its conceptual complexity can be a burden for people to
participate or explore the subject. This definitely corresponds to my
personal experience. I would like to write a master's thesis in which I
discuss basic aspects of reflection (both practical and theoretical) and
present an overview of reflective systems or reflective architectures
available today. I have been studying Smith's 3-LISP, Craig's ELEKTRA,
Pitrat's MACISTE and more, and would like to write a comprehensible
introduction to computational reflection. The emphasis however will be on
procedural computational reflection.
As soon as parts of my thesis are available, I will publish them at my
webpage (http://reflection.crs.unimaas.nl) hoping to get feedback from other
people. For now, I would like to let you know, that after translating 3-Lisp
from MacLisp to Common Lisp and debugging it for weeks (!), I finally have
it up and running. Although I cannot completely guarantee the correct
translation yet (due to my basic experience in Lisp), it has served me well
in understanding the architecture. All systems running on my Linux machine
are made available on this website. A telnet applet allows you to try the
system yourself. I kindly invite you to have a look.
Any comments or ideas concerning my project are appreciated. Would you be
willing to provide some feedback on my thesis in a later stage?