%0 Journal Article %1 Futamura1999Partial %A Futamura, Yoshihiko %D 1999 %I Kluwer Academic %J Higher Order and Symbolic Computation %K 68n20-compilers-and-interpreters %N 4 %P 381--391 %T Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler %U https://link.springer.com/article/10.1023\%2FA\%3A1010095604496 %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{Futamura1999Partial, 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 = {2019-03-01T00:11:50.000+0100}, author = {Futamura, Yoshihiko}, biburl = {https://www.bibsonomy.org/bibtex/241e4321bcf843144fc0313954c32f069/gdmcbain}, citeulike-article-id = {14686129}, citeulike-linkout-0 = {https://link.springer.com/article/10.1023\%2FA\%3A1010095604496}, interhash = {a86e1d48f295731ebd6e905765697642}, intrahash = {41e4321bcf843144fc0313954c32f069}, issn = {1388-3690}, journal = {Higher Order and Symbolic Computation}, keywords = {68n20-compilers-and-interpreters}, number = 4, pages = {381--391}, posted-at = {2019-02-06 21:47:33}, priority = {2}, publisher = {Kluwer Academic}, timestamp = {2019-03-01T00:11:50.000+0100}, title = {{Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler}}, url = {https://link.springer.com/article/10.1023\%2FA\%3A1010095604496}, volume = 12, year = 1999 }