Lambda, the ultimate label or a simple optimizing compiler for Scheme
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
VLISP: a verified implementation of Scheme
Lisp and Symbolic Computation
Cool: a portable project for teaching compiler construction
ACM SIGPLAN Notices
Compiler Construction Using Scheme
FPLE '95 Proceedings of the First International Symposium on Functional Programming Languages in Education
Experience with an analytic approach to teaching programming languages
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
| Hi-index | 0.00 |
Traditional compilation courses use formal methods for parsing, but treat the more important semantic aspects informally. We present a one semester course in which compiler development is reduced to a number of transformation steps, each of which is formally specified, easily tested, and clearly motivated by semantic considerations. The source language is substantial (essentially the host language of the compiler) and the target is a popular RISC architecture.