8 search results - page 1 / 2 » Dependence condition graph for semantics-based abstract prog... |
LDTA
2010
13 years 11 months ago
2010
ASWEC
2005
IEEE
14 years 4 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
TPHOL
2008
IEEE
14 years 5 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
SCAM
2008
IEEE
14 years 5 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...
JOT
2010
13 years 9 months ago
2010
Abstract We propose a dependence-based representation for object-oriented programs, named Call-based Object-Oriented System Dependence Graph (COSDG). Apart from structural features...