[Prev][Next][Index][Thread]

Danvy M 7/18, 1200



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