Entailment with Conditional Equality Constraints
No abstract available.
Related papers
- Type checking with open type functions ICFP 2008
- Type-indexed rows POPL 2001
- Automatic Verification of Integer Array Programs CAV 2009
- Decision Procedure for Entailment of Symbolic Heaps with Arrays APLAS 2017
- Automated lemma synthesis in symbolic-heap separation logic POPL 2018
- Separation logic + superposition calculus = heap theorem prover PLDI 2011
- Ground Interpolation for the Theory of Equality TACAS 2009
- Argument Reduction of Constrained Horn Clauses Using Equality Constraints APLAS 2023