Worst-case groundness analysis using positive Boolean functions

Research output: Contribution to journalArticlepeer-review

12 Scopus citations

Abstract

This note illustrates a theoretical worst-case scenario for groundness analyses obtained through abstract interpretation over the abstract domain of positive Boolean functions. A sequence of programs is given for which any Pos-based abstract interpretation for groundness analysis follows an exponential chain. Another sequence of programs is given for which a state-of-the-art implementation based on ROBDDs gives a result of exponential size in only three iterations. The moral of the story is that a serious Pos analyzer must incorporate some form of widening to protect itself from the inherent complexity of the underlying domain.

Original languageEnglish
Pages (from-to)125-128
Number of pages4
JournalJournal of Logic Programming
Volume41
Issue number1
DOIs
StatePublished - 1 Jan 1999

ASJC Scopus subject areas

  • Logic

Fingerprint

Dive into the research topics of 'Worst-case groundness analysis using positive Boolean functions'. Together they form a unique fingerprint.

Cite this