Effective Strictness Analysis with HORN Constraints
No abstract available.
Related papers
- Combining Forward and Backward Abstract Interpretation of Horn Clauses SAS 2017
- Higher-Order MSL Horn Constraints POPL 2023
- Argument Reduction of Constrained Horn Clauses Using Equality Constraints APLAS 2023
- sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses CAV 2025
- Inference of Polymorphic and Conditional Strictness Properties POPL 1998
- Disjunctive Interpolants for Horn-Clause Verification CAV 2013
- Automating Induction for Solving Horn Clauses CAV 2017
- Refinement Type Inference via Horn Constraint Optimization SAS 2015