Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. A type system for preventing data races and deadlocks in Java programs. In OOPSLA, November 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Ownership, Encapsulation and the Disjointness of Type and.. - Clarke, Drossopoulou (2002) (Correct)
No context found.
Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. A type system for preventing data races and deadlocks in Java programs. In OOPSLA, November 2002.
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (5 citations) (Correct)
No context found.
C. Boyapati, R. Lee, and M. Rinard. A type system for preventing data races and deadlocks in Java programs. In Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 211--230, 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC