173 search results - page 2 / 35 » Interprocedural analysis of asynchronous programs |
POPL
1998
ACM
13 years 9 months ago
1998
ACM
ESOP
2005
Springer
13 years 11 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
QSIC
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
ECOOP
2012
Springer
11 years 7 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
ISSTA
1998
ACM
13 years 9 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...