Programming Languages and Systems

DOI10.1007/B96702zbMATH Open1126.68341OpenAlexW2964738244MaRDI QIDQ5308702FDOQ5308702

Authors: Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L. Hosking 

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96702

Recommendations

• A transactional object calculus
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Transaction calculus (invited paper)
• High-level small-step operational semantics for transactions
• scientific article; zbMATH DE number 1706353

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Cited In (4)

• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Dynamic state restoration using versioning exceptions
• KALA: Kernel aspect language for advanced transactions
• A transactional object calculus

This page was built for publication: Programming Languages and Systems

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