Demange, Delphine; Laporte, Vincent; Zhao, Lei; Jagannathan, Suresh; Pichardie, David; Vitek, Jan Plan B, a buffered memory model for Java. (English) Zbl 1301.68098 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 329-342 (2013). Cited in 3 Documents MSC: 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68N15 Theory of programming languages 68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) 68Q60 Specification and verification (program logics, model checking, etc.) Keywords:concurrency; Java; memory model; verified compilation Software:Coq PDF BibTeX XML Cite \textit{D. Demange} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 329--342 (2013; Zbl 1301.68098) Full Text: DOI