More Advice on Proving a Compiler Correct: Improve a Correct Compiler

Erik Meijer. More Advice on Proving a Compiler Correct: Improve a Correct Compiler. In John Darlington, Roland Dietrich, editors, Declarative Programming, Sasbachwalden 1991, PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18-22 November 1991. Workshops in Computing, pages 255-273, Springer, 1991.

Abstract

Abstract is missing.