Work

Engineering A Program Optimizer

Year: 1978

Type: conference-paper

Abstract: We describe our work in formally specifying an extension to an existing, large software system. In particular, we were interested in adding a global optimization phase to an operational cross-compiler. We describe the module decomposition of the optimizer and how the modules were formally specified. The resulting modules constitute a set of tools and a framework which promote the rapid and efficient implementation of porgram optimizers.

Source: ACM Annual Conference

DOI: 10.1145/800127.804106

Authors: John H. Crawford, Mehdi Jazayeri

Institutions: Intel (United States), University of North Carolina at Chapel Hill

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Army Research Office

OpenAlex ID: W1966493843

FWCI: 0.323

Cites: 14

Cited by: 1

Related to: 10