A Certified Data Race Analysis for a Java-like Language
From MaRDI portal
Publication:3183531
DOI10.1007/978-3-642-03359-9_16zbMath1252.68054OpenAlexW1608647917MaRDI 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
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)
Related Items (1)
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
This page was built for publication: A Certified Data Race Analysis for a Java-like Language