The Specification of Code Generation Algorithms

Abstract

This thesis addresses the problem of automatically constructing the code generation phrase of a compiler from a specification of the source language and target machine. A framework for such a specification is presented in which information about language and machine dependent semantics in incorporated as a set of transformation on an internal representation of the source language program.