Calculating an Exceptional Machine

Photograph of Graham Hutton

Graham Hutton


In previous work we showed how to verify a compiler for a small language with exceptions [MPC 2004]. We have since discovered how to calculate, as opposed to verify, an abstract machine for this language. The key step is the use of "defunctionalization", an old program transformation technique that has recently been rejuvenated by the work of Danvy et al. In this talk I will review defunctionalization, and show how it can be used to calculate an abstract machine for exceptions.
Tuesday 18th October 2005, 14:00
Robert Recorde Room
Department of Computer Science