Evaluation of the domain prop

DOI10.1016/0743-1066(94)00029-6zbMath0862.68027OpenAlexW2040410674MaRDI QIDQ3125089

Pascal Van Hentenryck, Baudouin Le Charlier, Agostino Cortesi

Publication date: 17 March 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(94)00029-6

zbMATH Keywords

Prolog programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

The quotient of an abstract interpretation ⋮ Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations ⋮ Information Leakage Analysis by Abstract Interpretation ⋮ An even faster solver for general systems of equations

This page was built for publication: Evaluation of the domain prop