Proving Isolation Properties for Software Transactional Memory

DOI10.1007/978-3-642-19718-5_3zbMath1326.68078OpenAlexW1588468239MaRDI QIDQ3000572

Annette Bieniusa, Peter Thiemann

Publication date: 19 May 2011

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19718-5_3

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A formal semantics of nested atomic sections with thread escape

Cites Work

• A syntactic approach to type soundness
• A transactional object calculus
• High-level small-step operational semantics for transactions
• Semantics of transactional memory and automatic mutual exclusion
• Reduction

This page was built for publication: Proving Isolation Properties for Software Transactional Memory