A type system for preventing data races and deadlocks in the java virtual machine language: 1.

Pratibha Permandla Michael Roberson Chandrasekhar Boyapati A type system for preventing data races and deadlocks in the java virtual machine language: 1. 10 2007 conf/lctrts/2007 LCTES http://doi.acm.org/10.1145/1254766.1254768 db/conf/lctrts/lctes2007.html#PermandlaRB07