2 search results - page 1 / 1 » NOBLE: non-blocking programming support via lock-free shared... |
SIGARCH
2008
13 years 4 months ago
2008
e Shared Abstract Data Types H
ECOOP
2008
Springer
13 years 5 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...