X.: Improving the Java Memory Model Using CRF

by Jan-willem Maessen , Xiaowei Shen
Venue:Proc. OOPSLA (2000) 1–12
Citations:32 - 1 self