1403 search results - page 37 / 281 » Quantitative Interprocedural Analysis |
SCIA
2009
Springer
15 years 5 months ago
2009
Springer
CC
2007
Springer
15 years 5 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
CC
2000
Springer
15 years 3 months ago
2000
Springer
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
106
click to vote
LCPC
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. A fundamental problem in the analysis of parallel programs is to determine when two statements in a program may run concurrently. This analysis is the parallel analog to ...
147
click to vote
POPL
2002
ACM
15 years 11 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...