𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Worst-case analysis of maximal dual feasible functions

✍ Scribed by Jürgen Rietz, Cláudio Alves, J. M. Valério de Carvalho

Book ID
118161386
Publisher
Springer-Verlag
Year
2011
Tongue
English
Weight
301 KB
Volume
6
Category
Article
ISSN
1862-4472

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Worst-case groundness analysis using pos
Worst-case groundness analysis using positive Boolean functions
✍ Michael Codish 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 61 KB

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 exponent