文章基本信息

标题：From Interpreter to Compiler and Virtual Machine: A Functional Derivation
本地全文：下载
作者：Mads Sig Ager ; Dariusz Biernacki ; Olivier Danvy 等
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：2003
卷号：10
期号：14
出版社：Aarhus University
摘要：We show how to derive a compiler and a virtual machine from a compositional interpreter. We first illustrate the derivation with two evaluation functions and two normalization functions. We obtain Krivine's machine, Felleisen et al.'s CEK machine, and a generalization of these machines performing strong normalization, which is new. We observe that several existing compilers and virtual machines--e.g., the Categorical Abstract Machine (CAM), Schmidt's VEC machine, and Leroy's Zinc abstract machine--are already in derived form and we present the corresponding interpreter for the CAM and the VEC machine. We also consider Hannan and Miller's CLS machine and Landin's SECD machine. We derived Krivine's machine via a call-by-name CPS transformation and the CEK machine via a call-by-value CPS transformation. These two derivations hold both for an evaluation function and for a normalization function. They provide a non-trivial illustration of Reynolds's warning about the evaluation order of a meta-language.