Amanote Research
Register
Sign In
Exploiting Purity for Atomicity
doi 10.1145/1007512.1007543
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2004
Authors
Cormac Flanagan
Stephen N. Freund
Shaz Qadeer
Publisher
ACM Press
Related search
Causal Atomicity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Customized Atomicity Specification for Transactional Workflows
A Type and Effect System for Atomicity
ACM SIGPLAN Notices
Automated Atomicity-Violation Fixing
Proving Atomicity: An Assertional Approach
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Scalable Implementations of MPI Atomicity for Concurrent Overlapping I/O
For Ultimate Purity...
Chemical and Engineering News
Chemical Engineering
Keep Off the Grass: Locking the Right Path for Atomicity
M-Purity and Torsion Purity in Modules
International Journal of Algebra
