Machine Independent Generation of Optimal Local Code.

摘要

There has been extensive research into the automatic generation of compilers. Much of this has concentrated on the issues of syntax and semantics, while little has been done on the problems of code generation. This thesis represents one approach to the latter problem. A model of a compiler-compiler is presented, with the research focussing on the construction of one component of the compiler, that module which determines the possible code sequences which realize a given program. The input to this component is a set of code sequences which are possible realizations of each language construct. This thesis concentrates on the automatic generation of these code sequences from a formal description of the hardware and the language. A notation is developed for representing maching instructions, and a prototype system has been constructed to demonstrate that this notation is amenable to automated analysis. (Author)