173 search results - page 4 / 35 » Interprocedural analysis of asynchronous programs |
146
click to vote
IEEEPACT
2000
IEEE
15 years 8 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-...
111
click to vote
PLDI
2000
ACM
15 years 8 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...
128
click to vote
ESOP
2007
Springer
15 years 10 months 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...
121
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. The express-lane transformation isolates and duplicates frequently executed program paths, aiming for better data-flow facts along the duplicated paths. An express-lane ...
248
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...