Report copyright - Making the Java Memory Model Safe...Making the Java Memory Model Safe A:3 the memory model. In fact, I reuse the existing type-safety proofs from previous work [Lochbihler 2008] that
Please pass captcha verification before submit form