A Symmetric Approach to Compilation and Decompilation
Mads Sig Ager
August 2002 |
Abstract:
Just as specializing a source interpreter can achieve
compilation from a source language to a target language, we observe that
specializing a target interpreter can achieve compilation from the target
language to the source language. In both cases, the key issue is the choice
of whether to perform an evaluation or to emit code that represents this
evaluation.
We substantiate this observation by specializing two source interpreters and two target interpreters. We first consider a source language of arithmetic expressions and a target language for a stack machine, and then the lambda-calculus and the SECD-machine language. In each case, we prove that the target-to-source compiler is a left inverse of the source-to-target compiler, i.e., it is a decompiler. In the context of partial evaluation, compilation by source-interpreter specialization is classically referred to as a Futamura projection. By symmetry, it seems logical to refer to decompilation by target-interpreter specialization as a Futamura embedding Available as PostScript, PDF, DVI. |