Semantics-based compiling: A case study in type-directed partial evaluation [chapter]

Olivier Danvy, René Vestergaard
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