Pratibha Permandla, Michael Roberson, Chandrasekhar Boyapati
A type system for preventing data races and deadlocks in the java virtual machine language: 1
LCTES, 2007.
@inproceedings{LCTES-2007-PermandlaRB, author = "Pratibha Permandla and Michael Roberson and Chandrasekhar Boyapati", booktitle = "{Proceedings of the Eighth Conference on Languages, Compilers, and Tools for Embedded Systems}", doi = "10.1145/1254766.1254768", isbn = "978-1-59593-632-5", pages = "10", publisher = "{ACM}", title = "{A type system for preventing data races and deadlocks in the java virtual machine language: 1}", year = 2007, }