Library abstraction for C/C++ concurrency

DOI10.1145/2429069.2429099zbMath1301.68088OpenAlexW2058943117MaRDI QIDQ2931799

Alexey Gotsman, Mike Dodds, Mark Batty

Publication date: 27 November 2014

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

Full work available at URL: https://kar.kent.ac.uk/50270/1/POPL.13.library_abstraction_c_cpp.pdf

zbMATH Keywords

verificationC++concurrencymodularityC

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

TSO-to-TSO linearizability is undecidable ⋮ Unifying Operational Weak Memory Verification: An Axiomatic Approach ⋮ Making Linearizability Compositional for Partially Ordered Executions ⋮ Tackling Real-Life Relaxed Concurrency with FSL++

This page was built for publication: Library abstraction for C/C++ concurrency