Sharing Ghost Variables in a Collection of Abstract Domains
No abstract available.
Related papers
- The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs POPL 2026
- Ghost Signals: Verifying Termination of Busy Waiting - Verifying Termination of Busy Waiting CAV 2021
- P: safe asynchronous event-driven programming PLDI 2013
- Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust CPP 2026
- Higher-order ghost state ICFP 2016
- Complementation in Abstract Interpretation TOPLAS 1997
- Precise Set Sharing Analysis for Java-Style Programs VMCAI 2008
- Sharing and groundness dependencies in logic programs TOPLAS 1999