From Interpreter to Compiler and Virtual Machine : A Functional Derivation

We show how to derive a compiler and a virtual machine out of a compositional interpreter. We illustrate the derivation by reconstructing the Categorical Abstract Machine and by exhibiting the compilers and virtual machines corresponding to existing abstract machines: Krivine's machine, the CEK machine, the CLS machine, and the SECD machine. To appear as… CONTINUE READING



Citations per Year

52 Citations

Semantic Scholar estimates that this publication has 52 citations based on the available data.

See our FAQ for additional information.