SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model

摘要

SCOOP is a concurrent object-oriented programming model based on contracts. The model introduces processors as a new concept and it generalizes existing object-oriented concepts for the concurrent context. Simplicity is the main objective of SCOOP. The model guarantees the absence of data races in any execution of a SCOOP program. This article is a technical description of SCOOP as defined by Nienal-towski [11] and Meyer [7,9,10].