Associating synchronization constraints with data in an object-oriented language
- 11 January 2006
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 41 (1) , 334-345
- https://doi.org/10.1145/1111037.1111067
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using Model-CheckingPublished by Springer Nature ,2004
- Using Block-Local Atomicity to Detect Stale-Value Concurrency ErrorsPublished by Springer Nature ,2004
- Transactional Monitors for Concurrent ObjectsPublished by Springer Nature ,2004
- Verifying Commit-Atomicity Using Model-CheckingPublished by Springer Nature ,2004
- High‐level data racesSoftware Testing, Verification and Reliability, 2003
- Language support for lightweight transactionsPublished by Association for Computing Machinery (ACM) ,2003
- Types for atomicityPublished by Association for Computing Machinery (ACM) ,2003
- Invariant-based specification, synthesis, and verification of synchronization in concurrent programsPublished by Association for Computing Machinery (ACM) ,2002
- ReductionCommunications of the ACM, 1975
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973