Accession Number:

ADA058872

Title:

Formalization and Automatic Derivation of Code Generators.

Descriptive Note:

Interim rept.,

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1978-04-01

Pagination or Media Count:

133.0

Abstract:

This work is concerned with automatic derivation of code generators, which translate a parse-tree-like representation of programs into sequences of instructions for a computer defined by a machine description. In pursuing this goal, the following are presented 1 a model of machines and a notation for their description 2 a model of code generation, and its use in optimizing compilers and 3 an axiom system of tree equivalences, and an algorithm for derivation of translators based on tree transformations this is the main work of the thesis. The algorithms and representations are implemented to demonstrate their practicality as a means for generation of code generators. Author

Subject Categories:

  • Linguistics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE