Type-safe multithreading in cyclone
- 18 January 2003
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (3) , 13-25
- https://doi.org/10.1145/604174.604177
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Region-based memory management in cyclonePublished by Association for Computing Machinery (ACM) ,2002
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- Adoption and focusPublished by Association for Computing Machinery (ACM) ,2002
- Ownership types for safe programmingPublished by Association for Computing Machinery (ACM) ,2002
- Typed memory management via static capabilitiesACM Transactions on Programming Languages and Systems, 2000
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Object Types against RacesPublished by Springer Nature ,1999
- Detecting data races in Cilk programs that use locksPublished by Association for Computing Machinery (ACM) ,1998
- EraserACM Transactions on Computer Systems, 1997
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994