Type Inference for Parameterized Race-Free Java
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Type-safe multithreading in cyclonePublished by Association for Computing Machinery (ACM) ,2003
- Object race detectionPublished by Association for Computing Machinery (ACM) ,2001
- A parameterized type system for race-free Java programsPublished by Association for Computing Machinery (ACM) ,2001
- Detecting race conditions in large programsPublished by Association for Computing Machinery (ACM) ,2001
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- EraserACM Transactions on Computer Systems, 1997