4716 search results - page 575 / 944 » Iterative-free program analysis |
176
click to vote
PLDI
2005
ACM
16 years 9 days ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
204
click to vote
PLDI
2003
ACM
16 years 8 hour ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
194
click to vote
ICS
2001
Tsinghua U.
15 years 11 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...
195
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...
217
click to vote
FPCA
1995
15 years 10 months ago
1995
Game semantics is an unusual denotational semantics in that it captures the intensional (or algorithmic) and dynamical aspects of the computation. This makes it an ideal semantica...