Implementing Groundness Analysis with Definite Boolean Functions
No abstract available.
Related papers
- Sharing and groundness dependencies in logic programs TOPLAS 1999
- Denotational Abstract Interpretation of Logic Programs TOPLAS 1994
- Interpolation-Based Semantic Gate Extraction and Its Applications to QBF Preprocessing CAV 2020
- Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation SAS 1994
- Moving Definition Variables in Quantified Boolean Formulas TACAS 2022
- Shape Analysis via Second-Order Bi-Abduction CAV 2014
- Scalable error detection using boolean satisfiability POPL 2005
- HMC: Verifying Functional Programs Using Abstract Interpreters CAV 2011