Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi
Abstract elided by the publisher.
Related papers
- Relational Verification Through Horn Clause Transformation SAS 2016
- Linearization of the lambda-calculus and its relation with intersection type systems JFP 2004
- Verification of Programs with ADTs Using Shallow Horn Clauses SAS 2024
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Automating Induction for Solving Horn Clauses CAV 2017
- ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses SAS 2023
- Probabilistic Horn Clause Verification SAS 2017
- The Concurrent Logic Programming Language CP: Definition and Operational Semantics POPL 1987