4722 search results - page 24 / 945 » Representation-independent program analysis |
CAV
2008
Springer
13 years 9 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
POPL
2004
ACM
14 years 8 months ago
2004
ACM
ESEC
1999
Springer
13 years 12 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer