14298 search results - page 51 / 2860 » Dynamic Languages and Applications |
PLDI
1995
ACM
15 years 7 months ago
1995
ACM
PPDP
2010
Springer
15 years 2 months ago
2010
Springer
107
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...