10870 search results - page 135 / 2174 » Model Checking Programs |
CAV
2001
Springer
15 years 6 months ago
2001
Springer
CAV
1999
Springer
15 years 6 months ago
1999
Springer
ENTCS
2002
15 years 1 months ago
2002
121
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
139
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...