Interprocedural Herbrand Equalities
No abstract available.
Related papers
- Checking Herbrand Equalities and Beyond VMCAI 2005
- Inter-procedural Two-Variable Herbrand Equalities ESOP 2015
- Fast interprocedural linear two-variable equalities TOPLAS 2011
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- Analysis of modular arithmetic TOPLAS 2007
- Constraint Logic Programming POPL 1987
- Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses ESOP 2019
- A Domain-Theoretic Approach to Functional and Logic Programming JFP 1992