A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler - Lochbihler, Andreas
English[eng]
Keywords: Java||formal semantics||type safety||memory model||concurrency