A Constructive Approach to Compiler Correctness (1980)

by P Mosses
Venue:Workshop on Semantics-Directed Compiler Generation