Programming Research Group Technical Report TR-1-94

Towards a provable correct compiler for OBJ3

Lutz H Hamel

February 1994, 52pp.

Abstract to be inserted here

This paper is available as a compressed PostScript file (with pages in reverse order).