Semantics of concurrent revisions

DOI10.1007/978-3-642-19718-5_7MaRDI QIDQ3000574zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Concurrent flexible reversibility
• Conceptual level concurrency control of relational update transactions
• On the semantics of snapshot isolation
• Concurrency and atomicity
• Concurrency and reversibility

Cites work

• scientific article; zbMATH DE number 5657406 (Why is no real title available?)
• Coarse-grained transactions
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Multiversion concurrency control—theory and algorithms
• Semantics of concurrent revisions
• Semantics of transactional memory and automatic mutual exclusion
• The semantics of Scheme with future

Cited in

(3)

• Preferred history semantics for iterated updates
• Semantics of concurrent revisions
• Using abstract interpretation to correct synchronization faults

Describes a project that uses

Uses Software

• Grace

This page was built for publication: Semantics of concurrent revisions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000574)