178
click to vote
SAS
15 years 6 months ago
2001 Springer 
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
121
click to vote
SAS
15 years 6 months ago
2001 Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
100
click to vote
SAS
15 years 6 months ago
2001 Springer 
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
121
click to vote
SAS
15 years 6 months ago
2001 Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
|
Formal Methods