Conference
The SCOOP Concurrency Model in Java-like Languages
Abstract
SCOOP is a minimal extension to the sequential object-oriented programming model for concurrency. The extension consists of one keyword (separate) that avoids explicit thread declarations, synchronized blocks, explicit waits, and eliminates data races and atomicity violations by construction, through a set of compiler rules. SCOOP was originally described for the Eiffel programming language. This paper makes two contributions. Firstly, it …
Authors
Torshizi Faraz; Ostroff Jonathan S.; Paige Richard F.; Chechik Marsha
Series
Concurrent Systems Engineering Series
Publisher
IOS Press
Publication Date
2009
DOI
10.3233/978-1-60750-065-0-7
Conference proceedings
Concurrent Systems Engineering Series
ISSN
1383-7575