312 search results - page 18 / 63 » Effects of context on program slicing |
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Statistical debugging aims to automate the process of isolating bugs by profiling several runs of the program and using statistical analysis to pinpoint the likely causes of failu...
ECOOP
2007
Springer
15 years 1 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
125
Voted
CC
2008
Springer
14 years 11 months ago
2008
Springer
The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler. Most shape analysis techniques perform interprocedural dataflow ana...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
113
click to vote
PLDI
1997
ACM
15 years 1 months ago
1997
ACM
This paper presents dynamic feedback, a technique that enables computations to adapt dynamically to different execution environments. A compiler that uses dynamic feedback produce...