Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Verifying Commit-Atomicity Using Model-CheckingPublished by Springer Nature ,2004
- JNuke: Efficient Dynamic Analysis for JavaPublished by Springer Nature ,2004
- AtomizerACM SIGPLAN Notices, 2004
- High‐level data racesSoftware Testing, Verification and Reliability, 2003
- Escape analysis for Java TMACM Transactions on Programming Languages and Systems, 2003
- Runtime Checking of Multithreaded Applications with Visual ThreadsPublished by Springer Nature ,2000
- Removing unnecessary synchronization in JavaPublished by Association for Computing Machinery (ACM) ,1999
- Escape analysis for object-oriented languagesPublished by Association for Computing Machinery (ACM) ,1999
- Escape analysis for JavaPublished by Association for Computing Machinery (ACM) ,1999
- ReductionCommunications of the ACM, 1975