A Certified Data Race Analysis for a Java-like Language
From MaRDI portal
Publication:3183531
DOI10.1007/978-3-642-03359-9_16zbMath1252.68054MaRDI QIDQ3183531
Frédéric Dabrowski, David Pichardie
Publication date: 20 October 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03359-9_16
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N15: Theory of programming languages
Related Items
Uses Software
Cites Work
- Extracting a data flow analyser in constructive logic
- Conditional must not aliasing for static race detection
- Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
- Formalising Java’s Data Race Free Guarantee
- The Java memory model
- Formal certification of a compiler back-end or
- Oracle Semantics for Concurrent Separation Logic