Typed Concurrent Objects
No abstract available.
Related papers
- Type-Theoretic Foundations for Concurrent Object-Oriented Programming OOPSLA 1994
- Object-Oriented Concurrent Programming in ABCL/1 OOPSLA 1986
- Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types TOPLAS 1989
- Correctness of a Concurrent Object Collector for Actor Languages ESOP 2018
- Linearizability: A Correctness Condition for Concurrent Objects TOPLAS 1990
- Axioms for Concurrent Objects POPL 1987
- Obtaining Sequential Efficiency for Concurrent Object-Oriented Languages POPL 1995
- Constrained types for object-oriented languages OOPSLA 2008