2947 search results - page 178 / 590 » Analyzing Program Analyses |
203
click to vote
ICSE
2008
IEEE-ACM
16 years 7 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...
177
click to vote
PLDI
2006
ACM
16 years 8 days ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
152
Voted
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
219
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
173
click to vote
PLDI
2006
ACM
16 years 8 days ago
2006
ACM
On-line transducers are an important class of computational agent; we construct and compose together many software systems using them, such as stream processors, layered network p...