4722 search results - page 197 / 945 » Representation-independent program analysis |
APSEC
1996
IEEE
14 years 1 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
CCS
2010
ACM
13 years 7 months ago
2010
ACM
Given a single program (i.e., bit string), one may assume that the program's behaviors can be determined by first identifying the native runtime architecture and then executi...
AOSD
2008
ACM
13 years 11 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
POPL
2003
ACM
14 years 10 months ago
2003
ACM
Given a program and two variables p and q, the goal of points-to analysis is to check if p can point to q in some execution of the program. This well-studied problem plays a cruci...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
We propose static program analysis techniques for identifying the impact of relational database schema changes upon object-oriented applications. We use dataflow analysis to extra...