Sciweavers

18
Voted
WCRE
2007
IEEE

Interprocedural Static Single Assignment Form

14 years 19 days ago
Interprocedural Static Single Assignment Form
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which 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.
Stefan Staiger, Gunther Vogel, Steffen Keul, Eduar
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where WCRE
Authors Stefan Staiger, Gunther Vogel, Steffen Keul, Eduard Wiebe
Comments (0)