54 search results - page 1 / 11 » Precise Interprocedural Chopping |
SIGSOFT
1995
ACM
13 years 7 months ago
1995
ACM
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...
ICSM
2002
IEEE
13 years 9 months ago
2002
IEEE
We present an empirical evaluation of three contextsensitive slicing algorithms and five context-sensitive chopping algorithms, and compare them to context-insensitive methods. B...
POPL
2004
ACM
14 years 4 months ago
2004
ACM
SCAM
2008
IEEE
13 years 10 months ago
2008
IEEE
The JOANA project (Java Object-sensitive ANAlysis) is a program analysis infrastructure for the Java language. It contains a wide range of analysis techniques such as dependence g...
CC
2012
Springer
11 years 12 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...