%0 Journal Article %1 PartialEvaluation %A Futamura, Yoshihiko %D 1999, Originally published in 1971 %I Kluwer Academic Publishers %J Higher-Order and Symbolic Computation %K PartialEvaluation %N 4 %P 381--391 %R 10.1023/A:1010095604496 %T Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler %V 12 %X 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 compiler-compiler based on our method can describe an evaluation procedure (interpreter) in defining the semantics of a programming language, while the conventional one describes a translation process.

@article{PartialEvaluation, 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 compiler-compiler based on our method can describe an evaluation procedure (interpreter) in defining the semantics of a programming language, while the conventional one describes a translation process.}, added-at = {2014-03-17T14:03:35.000+0100}, author = {Futamura, Yoshihiko}, biburl = {https://www.bibsonomy.org/bibtex/23fb706fc215ef8b65c0245a365361d25/gron}, description = {Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler - Springer}, doi = {10.1023/A:1010095604496}, interhash = {9b5116f0e61682ae0492ae980ecc5f42}, intrahash = {3fb706fc215ef8b65c0245a365361d25}, issn = {1388-3690}, journal = {Higher-Order and Symbolic Computation}, keywords = {PartialEvaluation}, language = {English}, number = 4, pages = {381--391}, publisher = {Kluwer Academic Publishers}, timestamp = {2014-08-10T19:25:55.000+0200}, title = {Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler}, volume = 12, year = {1999, Originally published in 1971} }