DMCA
Program Analysis and Specialization for the C Programming Language (1994)
| Citations: | 628 - 0 self |
BibTeX
@TECHREPORT{Andersen94programanalysis,
author = {Lars Ole Andersen},
title = {Program Analysis and Specialization for the C Programming Language},
institution = {},
year = {1994}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Software engineers are faced with a dilemma. They want to write general and wellstructured programs that are flexible and easy to maintain. On the other hand, generality has a price: efficiency. A specialized program solving a particular problem is often significantly faster than a general program. However, the development of specialized software is time-consuming, and is likely to exceed the production of today’s programmers. New techniques are required to solve this so-called software crisis. Partial evaluation is a program specialization technique that reconciles the benefits of generality with efficiency. This thesis presents an automatic partial evaluator for the Ansi C programming language. The content of this thesis is analysis and transformation of C programs. We develop several analyses that support the transformation of a program into its generating extension. A generating extension is a program that produces specialized programs when executed on parts of the input. The thesis contains the following main results.
Keyphrases
program analysis programming language specialized program new technique generating extension today programmer specialized software automatic partial evaluator software engineer main result general program program specialization technique particular problem partial evaluation several analysis wellstructured program so-called software crisis
