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…