Reusable Concurrent Data Types
Abstract elided by the publisher.
Related papers
- Definition of Reusable Concurrent Software Components ECOOP 1991
- (Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly ECOOP 1996
- Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency ICFP 2013
- Active Objects in Hybrid OOPSLA 1987
- ArchSem: Reusable Rigorous Semantics of Relaxed Architectures POPL 2026
- Concurrency Annotations OOPSLA 1992
- The visitor pattern as a reusable, generic, type-safe component OOPSLA 2008
- Synthesis of Recursive ADT Transformations from Reusable Templates TACAS 2017