Pages that link to "Item:Q3523163"
From MaRDI portal
The following pages link to Formalising Java’s Data Race Free Guarantee (Q3523163):
Displaying 6 items.
- An operational happens-before memory model (Q1712426) (← links)
- An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model (Q2031429) (← links)
- Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations (Q2256965) (← links)
- A Certified Data Race Analysis for a Java-like Language (Q3183531) (← links)
- CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types (Q3499747) (← links)
- Context-Bounded Analysis of TSO Systems (Q5170741) (← links)
