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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal aspects of computing Jg. 21; H. 4; S. 319 - 346
Hauptverfasser:	Ostroff, Jonathan S., Torshizi, Faraz Ahmadi, Huang, Hai Feng, Schoeller, Bernd
Format:	Journal Article Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	London Springer-Verlag 01.08.2009 Springer Association for Computing Machinery
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!