Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler

@article{citeulike:1587426, abstract = {This paper reports the relationship between formal description of semantics (i.e., interpreter) of a programming language and an actual compiler. The paper also describes a method to automatically generate an actual compiler from a formal description which is, in some sense, the partial evaluation of a computation process. The compiler-compiler inspired by this method differs from conventional ones in that the compilercompiler based on our method can describe an evaluation procedure...}, author = {Futamura, Yoshihiko }, citeulike-article-id = {1587426}, journal = {Higher-Order and Symbolic Computation}, keywords = {hardcopy, partial-evaluation}, number = {4}, pages = {381--391}, posted-at = {2008-05-05 20:52:07}, priority = {5}, title = {Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler}, url = {http://citeseer.ist.psu.edu/futamura99partial.html}, volume = {12}, year = {1999} }

TY - JOUR ID - citeulike:1587426 L3 - citeulike-article-id:1587426 TI - Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler JF - Higher-Order and Symbolic Computation VL - 12 IS - 4 SP - 381 EP - 391 N2 - This paper reports the relationship between formal description of semantics (i.e., interpreter) of a programming language and an actual compiler. The paper also describes a method to automatically generate an actual compiler from a formal description which is, in some sense, the partial evaluation of a computation process. The compiler-compiler inspired by this method differs from conventional ones in that the compilercompiler based on our method can describe an evaluation procedure... KW - hardcopy KW - partial-evaluation AU - Futamura, Yoshihiko PY - 1999/// UR - http://citeseer.ist.psu.edu/futamura99partial.html ER -