Exceptions in Concurrent Eiffel

Phillip J. Brooke, Richard F. Paige

Research output: Contribution to journalArticlepeer-review


The Simple Concurrent Object-Oriented Programming (SCOOP) mechanism is proposed as a means to introduce inter-object concurrency into the Eiffel programming language [Mey97, EcI05]. SCOOP extends the Eiffel language by adding one keyword, separate, which can be applied to classes, entities and formal routine arguments. Application of separate to a class indicates that objects of that class execute in their own conceptual thread of control; application of separate to entities (variables) or arguments of routines indicate that these constructs are points of synchronisation.
Original languageUndefined/Unknown
Pages (from-to)111-126
Number of pages16
JournalJournal of Object Technology
Issue number10
Publication statusPublished - 2007

Cite this