This paper studies some'of the problems involved in attaining machine independence for a code generator, similar to the language independence and the token independence attained by automatic parsing and automatic lexical systems. In particular, the paper examines the logic involved in two areas of code generation: computation and data reference. It presents models embodying the logic of each area and demonstrates how the models can be filled out by descriptive information about a particular machine. The paper also describes how the models can be incorporated into a descriptive macro code generating s_vstem (DMACS) to be u--sed as a tool by a language implementer in creating a machine independent code generator, which can be made machine-directed by a suitable description of a particu- lar machine
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.