Machine Independent Generation of Optimal Local Code

Abstract

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1975
Accession Number
ADA019571

Entities

People

  • Joseph M. Newcomer

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Engineered Resilient Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Automatic Programming
  • Coding
  • Computer Programming
  • Computer Science
  • Computers
  • Computing System Architectures
  • Construction
  • Databases
  • Grammars
  • Language
  • Load Monitoring
  • Machine Languages
  • Object Code
  • Operating Systems
  • Programming Languages

Fields of Study

  • Computer science

Readers

  • Computer Programming and Software Development.
  • Computer Science.
  • Parallel and Distributed Computing.