A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 1997; you can also visit the original URL.
The file type is application/pdf
.
Semantics-based compiling: A case study in type-directed partial evaluation
[chapter]
1996
Lecture Notes in Computer Science
We illustrate a simple and effective solution to semantics-based compiling. Our solution is based on type-directed partial evaluation, where • our compiler generator is expressed in a few lines, and is efficient; • its input is a well-typed, purely functional definitional interpreter in the manner of denotational semantics; • the output of the generated compiler is three-address code, in the fashion and efficiency of the Dragon Book; • the generated compiler processes several hundred lines of source code per second.
doi:10.1007/3-540-61756-6_85
fatcat:f44so3axanfkfbkyw6w7johv6y