Reachability under Contextual Locking
No abstract available.
DOI 10.1007/978-3-642-28756-5_30
Related papers
- Progress of concurrent objects with partial methods POPL 2018
- Contextual Locking for Dynamic Pushdown Networks SAS 2013
- SyTeCi: automating contextual equivalence for higher-order programs with references POPL 2020
- Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation VMCAI 2011
- Contextual Equality Saturation SAS 2025
- Meta-analysis for Atomicity Violations under Nested Locking CAV 2009
- Contextual dispatch for function specialization OOPSLA 2020
- Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars SLE 2023