Beyond contracts for concurrency

SCOOP is a concurrent programming language with a new semantics for contracts that applies equally well in concurrent and sequential contexts. SCOOP eliminates race conditions and atomicity violations by construction. However, it is still vulnerable to deadlocks. In this paper we describe how far co...

Full description

Saved in:

Bibliographic Details
Published in:	Formal aspects of computing Vol. 21; no. 4; pp. 319 - 346
Main Authors:	Ostroff, Jonathan S., Torshizi, Faraz Ahmadi, Huang, Hai Feng, Schoeller, Bernd
Format:	Journal Article Conference Proceeding
Language:	English
Published:	London Springer-Verlag 01.08.2009 Springer Association for Computing Machinery
Subjects:	Applied sciences Computer Science Computer science; control theory; systems Exact sciences and technology General logic Logic and foundations Math Applications in Computer Science Mathematical logic, foundations, set theory Mathematics Miscellaneous Original Article Sciences and techniques of general use Theoretical computing Theory of Computation Concurrent contracts Verification SCOOP (Simple Concurrent Object Oriented Programming) Operational semantics Temporal logic Computer theory Programming language Theorem proving Sequential method Concurrency Semantics Programming
ISSN:	0934-5043, 1433-299X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!