Filters








1 Hit in 11.9 sec

A parameterized type system for race-free Java programs

Chandrasekhar Boyapati, Martin Rinard
2001 Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications - OOPSLA '01  
In particular, our system lets programmers write generic code to implement a class, then create different objects of the same class that have different protection mechanisms.  ...  This paper presents a new static type system for multithreaded programs; any well-typed program in our system is free of data races.  ...  We would also like thank Jonathan Babb, Michael Ernst, Kyle Jamieson, Dina Katabi, Viktor Kuncak, and the anonymous referees for providing useful comments on this paper.  ... 
doi:10.1145/504282.504287 dblp:conf/oopsla/BoyapatiR01 fatcat:c2zmy6aaozhb3nmj5ko7c2kpqq