3 search results - page 1 / 1 » Equivalence Checking of Static Affine Programs Using Widenin... |
CAV
2009
Springer
13 years 8 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
ET
2010
13 years 3 months ago
2010
—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine program...
PLDI
1997
ACM
13 years 8 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...