Inter-procedural Two-Variable Herbrand Equalities
Abstract elided by the publisher.
Related papers
- Upper Adjoints for Fast Inter-procedural Variable Equalities ESOP 2008
- Interprocedural Herbrand Equalities ESOP 2005
- Checking Herbrand Equalities and Beyond VMCAI 2005
- Codestitcher: inter-procedural basic block layout optimization CC 2019
- Inferring frame conditions with static correlation analysis POPL 2019
- A Domain-Theoretic Approach to Functional and Logic Programming JFP 1992
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- Fast interprocedural linear two-variable equalities TOPLAS 2011