Plan B

DOI10.1145/2429069.2429110zbMath1301.68098OpenAlexW2016012949MaRDI QIDQ2931808

Lei Zhao, Jan Vitek, Vincent Laporte, Delphine Demange, Suresh Jagannathan, David Pichardie

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://doi.org/10.1145/2429069.2429110

zbMATH Keywords

Javaconcurrencymemory modelverified compilation

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)

Operational semantics of a weak memory model with channel synchronization ⋮ Operational semantics of a weak memory model with channel synchronization ⋮ Unnamed Item ⋮ Verifying a concurrent garbage collector with a rely-guarantee methodology

Uses Software

• Coq

This page was built for publication: Plan B