Checking Herbrand Equalities and Beyond
Abstract elided by the publisher.
Related papers
- Interprocedural Herbrand Equalities ESOP 2005
- Inter-procedural Two-Variable Herbrand Equalities ESOP 2015
- The taming of the rew: a type theory with computational assumptions POPL 2021
- Beyond Model Checking CAV 1994
- Directional Type Checking for Logic Programs: Beyond Discriminative Types ESOP 2000
- Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond TACAS 1998
- egg: Fast and extensible equality saturation POPL 2021
- General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond TACAS 2021