2 search results - page 1 / 1 » Safe Concurrency for Aggregate Objects with Invariants |
81
Voted
SEFM
2005
IEEE
15 years 4 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
81
Voted
ECOOP
2012
Springer
13 years 1 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...