Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited.

Don Milos, Uwe F. Pleban, George Loegel

Browse the full POPL paper archive.