More Advice on Proving a Compiler Correct: Improve a Correct Compiler (1994)

Cached

Download Links

by E. Meijer , E. Meijer
Citations:11 - 1 self

Document Versions

More Advice on Proving a Compiler Correct: Improve a Correct Compiler –E. Meijer, E. Meijer — 1994
More Advice on Proving a Compiler Correct: Improve a Correct Compiler –Erik Meijer — 1993 — Compiler, Phoenix Seminar and Workshop on Declarative Programming (Springer-Verlag