5235 search results - page 176 / 1047 » Analysis of Multithreaded Programs |
159
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
152
Voted
SFM
2010
Springer
15 years 11 months ago
2010
Springer
131
Voted
SAS
2001
Springer
15 years 10 months ago
2001
Springer
141
Voted
SAS
2001
Springer
15 years 10 months ago
2001
Springer
