Optimal groundness analysis using propositional logic

DOI10.1016/0743-1066(95)00123-9zbMath0874.68052OpenAlexW2033160692MaRDI QIDQ3129500

William Windsborough, Gilberto File, Agostino Cortesi

Publication date: 10 November 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(95)00123-9

zbMATH Keywords

abstract interpretationProp

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (7)

Pair-independence and freeness analysis through linear refinement. ⋮ Optimality in goal-dependent analysis of Sharing ⋮ The quotient of an abstract interpretation ⋮ The powerset operator on abstract interpretations ⋮ Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations ⋮ Information Leakage Analysis by Abstract Interpretation ⋮ Logical optimality of groundness analysis

This page was built for publication: Optimal groundness analysis using propositional logic