The Production of Optimised Machine-Code
for High-Level Languages using Machine-Independent Intermediate Codes.
Peter Salkeld Robertson
Ph. D.
University of Edinburgh 1981
(Graduation date July 1981)