SCOOP – a contract-based concurrent object-oriented programming model

Authors:
Benjamin Morandi;Sebastian S. Bauer;Bertrand Meyer
Affiliations:
Chair of Software Engineering, Swiss Federal Institute of Technology Zurich, Switzerland;Institut für Informatik, Ludwig-Maximilians-Universität München, Germany;Chair of Software Engineering, Swiss Federal Institute of Technology Zurich, Switzerland
Venue:
Advanced Lectures on Software Engineering
Year:
2010

Citing 5
Cited 2

Systematic concurrent object-oriented programming

Communications of the ACM
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
System Deadlocks

ACM Computing Surveys (CSUR)
Applying "Design by Contract"

Computer
Beyond contracts for concurrency

Formal Aspects of Computing - Special Issue: Concurrency and Real-Time for Eiffel-like Languages

Identifying a unifying mechanism for the implementation of concurrency abstractions on multi-language virtual machines

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
Compositional reasoning about shared futures

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 Nienaltowski [11] and Meyer [7,9,10].