jMT builds multi-execution semantics from single-execution models via causality checking to evaluate Java memory model proposals on a per-program basis and test conformance to compilers.
Java Language S p e c i f i c a t i o n
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
jMT: Testing Correctness of Java Memory Models (Extended Version)
jMT builds multi-execution semantics from single-execution models via causality checking to evaluate Java memory model proposals on a per-program basis and test conformance to compilers.