A parameterized type system for race-free Java programs
- 1 October 2001
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 36 (11) , 56-69
- https://doi.org/10.1145/504311.504287
Abstract
No abstract availableThis publication has 23 references indexed in Scilit:
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Effective synchronization removal for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Removing unnecessary synchronization in JavaPublished by Association for Computing Machinery (ACM) ,1999
- Escape analysis for object-oriented languagesPublished by Association for Computing Machinery (ACM) ,1999
- Compatible genericity with run-time types for the Java programming languagePublished by Association for Computing Machinery (ACM) ,1998
- Making the future safe for the pastPublished by Association for Computing Machinery (ACM) ,1998
- Ownership types for flexible alias protectionPublished by Association for Computing Machinery (ACM) ,1998
- Detecting data races in Cilk programs that use locksPublished by Association for Computing Machinery (ACM) ,1998
- Polymorphic effect systemsPublished by Association for Computing Machinery (ACM) ,1988
- Linear logicTheoretical Computer Science, 1987