147
click to vote
FORTE
15 years 7 months ago
2001 
The modal logic FULL is designed to capture strong bisimulation over early symbolic transition systems (STSs) for full LOTOS. It provides a compact way of expressing and verifying ...
221
click to vote
SAS
15 years 10 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...
160
click to vote
SAS
15 years 10 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...
|
Formal Methods