Data Abstraction: A General Framework to Handle Program Verification of Data Structures
Abstract elided by the publisher.
Related papers
- An Assertion Language for Data Structures POPL 1975
- An extension of HM(X) with bounded existential and universal data-types ICFP 2003
- Data-Driven Verification of Procedural Programs with Integer Arrays CAV 2025
- Type-based data structure verification PLDI 2009
- Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM TACAS 2025
- Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM CAV 2023
- Structural Abstraction and Refinement for Probabilistic Programs OOPSLA 2025
- Recursive Data Structures in SPARK CAV 2020