Searching for "Specifying Java thread semantics using a uniform memory model." – sorted by Relevance.
-
Specifying Java thread semantics using a uniform memory model
- Specifying Java Thread Semantics Using a Uniform Memory Model ABSTRACT Yue Yang School
- Cited by 7 (3 self) – Add To MetaCart
-
Formalizing Shared Memory Consistency Models for Program Analysis
- the CRF Java Memory Model [80]; 2. Specifying Java Thread Semantics Using a Uniform Memory Model [81]; 3
- Cited by 3 (0 self) – Add To MetaCart

