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.
Описание
Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler - Springer
%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}
}