A Certified Data Race Analysis for a Java-like Language (Q3183531): Difference between revisions

@@ Property / cites work @@
+Formalising Java’s Data Race Free Guarantee
@@ Property / cites work: Formalising Java’s Data Race Free Guarantee / rank @@
+Normal rank
@@ Property / cites work @@
+Extracting a data flow analyser in constructive logic
+Normal rank
@@ Property / cites work @@
+Oracle Semantics for Concurrent Separation Logic
@@ Property / cites work: Oracle Semantics for Concurrent Separation Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+The Java memory model
@@ Property / cites work: The Java memory model / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional must not aliasing for static race detection
+Normal rank