Semantics of Concurrent Revisions

DOI10.1007/978-3-642-19718-5_7zbMath1326.68081OpenAlexW2154709372MaRDI QIDQ3000574

Sebastian Burckhardt, Daan Leijen

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_7

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (max. 100)

Using Abstract Interpretation to Correct Synchronization Faults ⋮ Semantics of Concurrent Revisions

Uses Software

• Grace

Cites Work

• Unnamed Item
• The semantics of Scheme with future
• Semantics of Concurrent Revisions
• Semantics of transactional memory and automatic mutual exclusion
• Multiversion concurrency control—theory and algorithms
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Coarse-grained transactions

This page was built for publication: Semantics of Concurrent Revisions