Data Refinement Refined
No abstract available.
Related papers
- Data Refinement with Low-Level Pointer Operations APLAS 2005
- Abstraction Refinement for Emptiness Checking of Alternating Data Automata TACAS 2018
- Data-Abstraction Refinement: A Game Semantic Approach SAS 2005
- Refinement based verification of imperative data structures CPP 2016
- Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models TACAS 2016
- Data flow refinement type inference POPL 2021
- A separation logic for refining concurrent objects POPL 2011
- Mechanizing Refinement Types POPL 2024