Run-Time Analysis for Atomicity
Open Access
- 31 October 2003
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 89 (2) , 191-209
- https://doi.org/10.1016/s1571-0661(04)81049-1
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- High‐level data racesSoftware Testing, Verification and Reliability, 2003
- Type-safe multithreading in cycloneACM SIGPLAN Notices, 2003
- Types for atomicityACM SIGPLAN Notices, 2003
- Ownership types for safe programmingACM SIGPLAN Notices, 2002
- A parameterized type system for race-free Java programsACM SIGPLAN Notices, 2001
- Type-based race detection for JavaACM SIGPLAN Notices, 2000
- EraserACM Transactions on Computer Systems, 1997
- Linearizability: a correctness condition for concurrent objectsACM Transactions on Programming Languages and Systems, 1990
- The serializability of concurrent database updatesJournal of the ACM, 1979
- ReductionCommunications of the ACM, 1975