Calculating an exceptional machine

: In previous work we showed how to verify a compiler for a small language with exceptions. In this article we show how to calculate, as opposed to an abstract machine for this language. The key step is the use of Reynold's defunctionalization, an old program transformation technique that has recently been rejuvenated by the work of Danvy et al.

• Type: Conference
• Year: 2004
• Where: SFP
• Authors: Graham Hutton, Joel Wright
• Keywords: Danvy Et Al, Program Transformation Technique, Programming Languages, SFP 2004, Small Language