Data Structure Specifications via Local Equality Axioms
No abstract available.
Related papers
- BI as an Assertion Language for Mutable Data Structures POPL 2001
- Contextual Equality Saturation SAS 2025
- An Assertion Language for Data Structures POPL 1975
- Deciding Local Theory Extensions via E-matching CAV 2015
- Implementing an Irregular Application on a Distributed Memory Multiprocessor PPoPP 1993
- Data-Abstraction Implementation, Specification, and Testing TOPLAS 1981
- Towards Complete Reasoning about Axiomatic Specifications VMCAI 2011
- Relational Abstractions Based on Labeled Union-Find PLDI 2025