SAS
13 years 9 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...
SAS
13 years 9 months ago
2001 Springer SAS
13 years 9 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...
SAS
13 years 9 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...
SAS
13 years 9 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