981 search results - page 12 / 197 » Symbolic pointer analysis |
131
click to vote
OOPSLA
1999
Springer
15 years 5 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
CGO
2009
IEEE
15 years 8 months ago
2009
IEEE
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
PASTE
2004
ACM
15 years 6 months ago
2004
ACM
