Atomizer

DOI10.1145/964001.964023zbMath1325.68064OpenAlexW2082766667MaRDI QIDQ3452265

Stephen N. Freund, Cormac Flanagan

Publication date: 11 November 2015

Published in: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/964001.964023

zbMATH Keywords

reductiondynamic analysisatomicity

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Sound concurrent traces for online monitoring ⋮ A dynamic logic for deductive verification of multi-threaded programs ⋮ Concurrent correctness in vector space ⋮ The Complexity of Predicting Atomicity Violations ⋮ Strict Linearizability and Abstract Atomicity

Uses Software

• Atomizer

This page was built for publication: Atomizer