Types for atomicity
- 18 January 2003
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (3) , 1-12
- https://doi.org/10.1145/604174.604176
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Efficient and precise datarace detection for multithreaded object-oriented programsPublished by Association for Computing Machinery (ACM) ,2002
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- A parameterized type system for race-free Java programsPublished by Association for Computing Machinery (ACM) ,2001
- Type-based race detection for JavaPublished by Association for Computing Machinery (ACM) ,2000
- Barrier inferencePublished by Association for Computing Machinery (ACM) ,1998
- EraserACM Transactions on Computer Systems, 1997
- A method for refining atomicity in parallel algorithmsPublished by Springer Nature ,1989
- Parallel program correctness through refinementPublished by Association for Computing Machinery (ACM) ,1977
- ReductionCommunications of the ACM, 1975
- MonitorsCommunications of the ACM, 1974