Formalising Java’s Data Race Free Guarantee

DOI10.1007/978-3-540-74591-4_4zbMath1144.68304OpenAlexW1594381772MaRDI QIDQ3523163

Jaroslav Ševčík, David Aspinall

Publication date: 2 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74591-4_4

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (6)

A Certified Data Race Analysis for a Java-like Language ⋮ CoqJVM: An Executable Specification of the Java Virtual Machine Using Dependent Types ⋮ An operational happens-before memory model ⋮ Context-Bounded Analysis of TSO Systems ⋮ Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations ⋮ An Isabelle/HOL formalisation of the SPARC instruction set architecture and the TSO memory model

Uses Software

• Checkfence
• UMM

This page was built for publication: Formalising Java’s Data Race Free Guarantee