Semantics of Concurrent Revisions

DOI10.1007/978-3-642-19718-5_7zbMATH Open1326.68081OpenAlexW2154709372MaRDI QIDQ3000574FDOQ3000574

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)

Cites Work

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

Cited In (3)

• Preferred history semantics for iterated updates
• Using Abstract Interpretation to Correct Synchronization Faults
• Semantics of Concurrent Revisions

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)