Re: Compiling with Continuations/Andrew Appel

eifrig@blaze.cs.jhu.edu (Jonathan Eifrig) writes:


       ... In particular, it demonstrates the (somewhat) surprising
      fact: the notion of a "continuation", originally introduced to give a
      denotational semantics to imperative-style languages, can be used as a
      foundation of a compiler.


Correct me if I am wrong, but doesn't this surprizing fact date back to
Guy Steele's Rabbit compiler detailed in "Rabbit: a Compiler for Scheme",
MIT AI Memo 474, May 1978?


For those interested, further references to Wand, Friedman, Haynes etc.
work on continuations may be found in the Scheme Bibliography [somewhat
out-of-date these days], available from the Scheme Repository currently
situated at nexus.yorku.ca under pub/scheme/*.


oz
---
| internet: oz@nexus.yorku.ca
| other: oz@sis.yorku.ca
| phone: 416 736 2100 x 33976
--

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