Compiler generation using formal specification of procedure-oriented and machine languages
Philip Gilbert, William G. McLellan · 1967
This paper reports on a recently developed compiler generation system which is rigorously based, and which allows formal specification both of source (procedure-oriented) languages (POLs) and of machine languages (MLs). Concepts underlying the system are discussed, an example correlating source language specification with system operation is given, and the status and potentialities of the system are discussed.