High-level small-step operational semantics for transactions

DOI10.1145/1328438.1328448MaRDI QIDQ3189825zbMATH OpenOpenAlexFDO

Authors Dan Grossman, Katherine F. Moore

Publication date 12 September 2014

Published in Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.153.8823

zbMATH Keywords

operational semanticsparallelismstrong atomicitytransactional memoryweak atomicity

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Coordination Models and Languages
• Communicating Sequential Processes. The First 25 Years
• Unifying concurrency control and recovery of transactions with semantically rich operations
• Algebraic Semantics for Compensable Transactions
• A transactional object calculus
• Bisimulations for communicating transactions (extended abstract)
• Big-step operational semantics revisited

Cited in

(8)

• A formal semantics of nested atomic sections with thread escape
• A model of dynamic separation for transactional memory
• A transactional object calculus
• Proving Isolation Properties for Software Transactional Memory
• Perspectives on Transactional Memory
• Towards formally specifying and verifying transactional memory
• Programming Languages and Systems
• Communicating Sequential Processes. The First 25 Years

This page was built for publication: High-level small-step operational semantics for transactions

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