[Prev][Next][Index][Thread]
Danvy M 7/18, 1200
-
To: colloquia%corwin.ccs.northeastern.edu@RELAY.CS.NET, lieber%corwin.ccs.northeastern.edu@RELAY.CS.NET, abbas%corwin.ccs.northeastern.edu@RELAY.CS.NET, zywang@bleys.LCS.MIT.EDU, woolf@eric.LCS.MIT.EDU, oliva%corwin.ccs.northeastern.edu@RELAY.CS.NET, holland%corwin.ccs.northeastern.edu@RELAY.CS.NET, riel%corwin.ccs.northeastern.edu@RELAY.CS.NET, bwhite%.umb.edu@RELAY.CS.NET, gerald%grn.umb.edu@RELAY.CS.NET, muller@bu-cs.bu.edu, kfoury@bu-cs.bu.edu, raf@bu-cs.bu.edu, dsmith%cs.brandeis.edu@RELAY.CS.NET, jmiller%cs.brandeis.edu@RELAY.CS.NET, mairson%cs.brandeis.edu@RELAY.CS.NET, pw%cs.brown.edu@RELAY.CS.NET, pmo%icad.uucp@THINK.COM, attend-types@THEORY.LCS.MIT.EDU, attend-logic@THEORY.LCS.MIT.EDU
-
Subject: Danvy M 7/18, 1200
-
From: Mitchell Wand <wand%corwin.ccs.northeastern.edu@RELAY.CS.NET>
-
Date: Mon, 11 Jul 88 10:04:54 EDT
Colloquium
Olivier Danvy
DIKU - University of Copenhagen
Intenstions and Extensions in a Reflective Tower
Mon, 7/18, 1200 Noon
Room 107 Cullinane
This paper preents a model of the reflective tower based on the formal
semantics of its levels. They are related extensionally by their mutual
interpretation and intensionally by reification and reflection. The key
points obtained are: a formal relation between the semantic domains of each
level; a formal identification of reification and reflection; the
visualisation of intensional snapshots of a tower of interpreters; a formal
justification and a generalization of Brown's meta-continuations; the
distinction between making continuations jumpy and pushy; the discovery of the
tail-reflection property; and a Scheme implementation of a properly
tail-reflective and single-threaded reflective tower.
Host: M. Wand