Contracts for concurrency

DOI10.1007/s00165-007-0063-2zbMath1184.68170OpenAlexW2077894274WikidataQ56901575 ScholiaQ56901575MaRDI QIDQ846109

Piotr Nienaltowski, Jonathan S. Ostroff, Bertrand Meyer

Publication date: 1 February 2010

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-007-0063-2

zbMATH Keywords

concurrencyobject-oriented programmingsoftware verificationpartial correctnessdesign by contractsafety and liveness propertiesSCOOP

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items

Flexible access control policy for SCOOP ⋮ A Module System for Domain-Specific Languages

Uses Software

• SCOOP
• Eiffel
• Spec#
• SmallEiffel

Cites Work

• Unnamed Item
• Unnamed Item