1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2004
Worst-Case Groundness Analysis Using Definite Boolean Functions
Samir Genaim, Michael Codish, Jacob M. Howe
This note illustrates theoretical worst-case scenarios for groundness analyses obtained through abstract interpretation over the abstract domains of definite (Def) and positive (Po…
cs.PL2003★ 1 cited
Inferring Termination Conditions for Logic Programs using Backwards Analysis
Samir Genaim, Michael Codish
This paper focuses on the inference of modes for which a logic program is guaranteed to terminate. This generalises traditional termination analysis where an analyser tries to veri…