A type system for preventing data races and deadlocks in the java virtual machine language
Author(s) -
Pratibha Permandla,
Michael Roberson,
Chandrasekhar Boyapati
Publication year - 2007
Publication title -
acm sigplan notices
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.31
H-Index - 99
eISSN - 1558-1160
pISSN - 0362-1340
DOI - 10.1145/1273444.1254768
Subject(s) - computer science , programming language , generics in java , java , strictfp , java annotation , scala , java concurrency , java modeling language , type safety , real time java , operating system
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom