Formalization and Automatic Derivation of Code Generators.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1978
Accession Number
ADA058872

Entities

People

  • R. G. G. Cattell

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Assembly Languages
  • Coding
  • Compilers
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • High Level Languages
  • Instruction Set Architecture
  • Language
  • Machine Languages
  • Object Code
  • Operating Systems
  • Programming Languages
  • Virtual Machines

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Computational Linguistics
  • Computer Engineering