Program Analysis and Specialization for the C Programming Language Export

@misc{citeulike:4924529, 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.}, author = {Andersen, Lars O.}, citeulike-article-id = {4924529}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.6502}, keywords = {analysis, nasko, static}, posted-at = {2009-06-22 17:04:22}, priority = {2}, title = {Program Analysis and Specialization for the C Programming Language}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.6502}, year = {1994} }

TY - ELEC ID - citeulike:4924529 L3 - citeulike-article-id:4924529 N2 - 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. TI - Program Analysis and Specialization for the C Programming Language KW - analysis KW - nasko KW - static AU - Andersen, Lars PY - 1994/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.6502 ER -