Bibliography | Staiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form in Bauhaus. University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Technical Report Computer Science No. 2007/03. 17 pages, english.
|
CR-Schema | D.2.7 (Software Engineering Distribution, Maintenance, and Enhancement) F.3.2 (Semantics of Programming Languages)
|
Keywords | SSA form; data flow; static interprocedural analysis; Bauhaus |
Abstract | In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which uses an abstract program representation enabling us to use different pointer analyses ranging from fast but imprecise to slow but precise ones. Our implementation includes the computation of (may and must) side effects and optimizations like pruning definitions with simple linear-time algorithms. This paper also provides comprehensive test results and statistics for a large test suite.
|
Full text and other links | PDF (302808 Bytes) PostScript (2207182 Bytes)
|
Department(s) | University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
|
Entry date | November 9, 2007 |
---|