On Modular Transformations of Structural Content
No abstract available.
Related papers
- DelExp: A Relational Container Abstraction: with Applications to Compositional Analysis ECOOP 2026
- Inferring ownership transfer for efficient message passing PPoPP 2011
- POSTER: RELAX: Durable Data Structures with Swift Recovery PPoPP 2024
- Generic Validation of Structural Content with Parametric Modules APLAS 2000
- Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism PPoPP 2017
- Modular Type-Based Reverse Engineering of Parameterized Types in Java Code OOPSLA 1999
- Generic Validation of Structural Content with Parametric Modules ICFP 2001
- On performance debugging of unnecessary lock contentions on multicore processors: a replay-based approach CGO 2015