Type Inference for Parameterized Race-Free Java
Authors:
- 1 January 2004
- book chapter
- Published by Springer Nature
- p. 149-160
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Type-safe multithreading in cyclone2003
- Object race detection2001
- A parameterized type system for race-free Java programs2001
- Detecting race conditions in large programs2001
- Type-based race detection for Java2000
- EraserACM Transactions on Computer Systems, 1997
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints1977