957 search results - page 101 / 192 » Modular Static Program Analysis |
162
click to vote
ISSTA
1991
ACM
15 years 5 months ago
1991
ACM
Program slices are useful in debugging. Most work on program slicing to date has concentrated on nding slices of programs involving only scalar variables. Pointers and composite v...
113
Voted
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
115
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
This paper presents a novel placement algorithm for timing optimization based on a new and powerful concept, which we term differential timing analysis. Recognizing that accurate ...
120
Voted
TCAD
2008
15 years 2 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
110
click to vote
ECOOP
2000
Springer
15 years 6 months ago
2000
Springer
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...