A type and effect system for atomicity
Top Cited Papers
- 9 May 2003
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (5) , 338-349
- https://doi.org/10.1145/781131.781169
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Types for atomicityPublished by Association for Computing Machinery (ACM) ,2003
- Ownership types for safe programmingPublished by Association for Computing Machinery (ACM) ,2002
- Invariant-based specification, synthesis, and verification of synchronization in concurrent programsPublished by Association for Computing Machinery (ACM) ,2002
- Pointer and escape analysis for multithreaded programsACM SIGPLAN Notices, 2001
- EraserACM Transactions on Computer Systems, 1997
- Linearizability: a correctness condition for concurrent objectsACM Transactions on Programming Languages and Systems, 1990
- Procedures as persistent data objectsACM Transactions on Programming Languages and Systems, 1985
- PS-algolACM SIGPLAN Notices, 1982
- ReductionCommunications of the ACM, 1975
- MonitorsCommunications of the ACM, 1974