Realistic Compilation by Program Transformation Export

@proceedings{citeulike:3202, abstract = {Using concepts from denotational semantics, we have produced a very simple compiler that can be used to compile standard programming languages and produces object code as efficient as that of production compilers. The compiler is based entirely on source-to-source transformations performed on programs that have been translated into an intermediate language resembling the lambda calculus. The output of the compiler, while still in the intermediate language, can be trivially translated into...}, address = {Austin, Texas}, author = {Kelsey, Richard and Hudak, Paul}, booktitle = {Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages}, citeulike-article-id = {3202}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.6252}, keywords = {compilers}, pages = {281--292}, posted-at = {2005-01-01 21:04:43}, title = {Realistic Compilation by Program Transformation}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.6252}, year = {1989} }

TY - CONF ID - citeulike:3202 L3 - citeulike-article-id:3202 N2 - Using concepts from denotational semantics, we have produced a very simple compiler that can be used to compile standard programming languages and produces object code as efficient as that of production compilers. The compiler is based entirely on source-to-source transformations performed on programs that have been translated into an intermediate language resembling the lambda calculus. The output of the compiler, while still in the intermediate language, can be trivially translated into... AD - Austin, Texas EP - 292 TI - Realistic Compilation by Program Transformation T2 - Conference Record of the Sixteenth Annual ACM Symposium on Principles of Programming Languages SP - 281 KW - compilers AU - Kelsey, Richard AU - Hudak, Paul PY - 1989/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.6252 ER -