Impredicative Concurrent Abstract Predicates
No abstract available.
DOI 10.1007/978-3-642-54833-8_9
Related papers
- Verifying Custom Synchronization Constructs Using Higher-Order Separation Logic TOPLAS 2016
- PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs PLDI 2025
- Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic OOPSLA 2026
- Elementary Type Inference ECOOP 2022
- Concurrent Abstract Predicates ECOOP 2010
- Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs CAV 2011
- Simple, partial type-inference for System F based on type-containment ICFP 2005
- Expressive modular fine-grained concurrency specification POPL 2011