1403 search results - page 3 / 281 » Quantitative Interprocedural Analysis |
148
Voted
SAS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
179
click to vote
IEEEPACT
2000
IEEE
15 years 10 months ago
2000
IEEE
Region-based compilation repartitions a program into more desirable compilation units for optimization and scheduling, particularly beneficial for ILP architectures. With region-...
136
Voted
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
159
Voted
ESOP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
146
Voted
CC
2006
Springer
15 years 10 months ago
2006
Springer
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...