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 …

Data flow analysis is used to discover information for a wide variety of useful applications,
ranging from compiler optimizations to software engineering and verification. Modern …

The widespread use of object-oriented languages and Internet security concerns are just the
beginning. Add embedded systems, multiple memory banks, highly pipelined units …

We reformulate interval analysis so that it can he applied to any monotone data-flow
problem, including the nonfast problems of flow-insensitive interprocedural analysis. We …

This dissertation addresses a number of important issues related to interprocedural
optimization. Interprocedural optimization is an integral component in a compilation system …

This paper describes an experiment undertaken to evaluate the effectiveness of inline
substitution as a method of improving the running time of compiled code. Our particular …

This paper describes amethod of determining which procedures to merge for machines with
instruction caches. The method usesprofile information, the structure of the program, the …

The software gap-the discrepancy between the need for new software and the aggregate
capacity of the workforce to produce it-is a serious problem for scientific software. Although …

Difficulties arising in the use of documents produced by reverse engineering tools are
analyzed. With reference to intermodular data flow analysis for Pascal software systems, an …

Measurements are presented for a large number of machines ranging from small
workstations to supercomputers. The authors combine these measurements into groups of …