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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Formal aspects of computing Ročník 21; číslo 4; s. 319 - 346
Hlavní autoři:	Ostroff, Jonathan S., Torshizi, Faraz Ahmadi, Huang, Hai Feng, Schoeller, Bernd
Médium:	Journal Article Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	London Springer-Verlag 01.08.2009 Springer Association for Computing Machinery
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!