Hostname: page-component-78c5997874-mlc7c Total loading time: 0 Render date: 2024-11-05T21:43:23.956Z Has data issue: false hasContentIssue false

Worst-case groundness analysis using definite Boolean functions

Published online by Cambridge University Press:  18 October 2001

SAMIR GENAIM
Affiliation:
Department of Computer Science, Ben-Gurion University of the Negev, PO Box 653, 84105 Israel (e-mail: [email protected])
MICHAEL CODISH
Affiliation:
Department of Computer Science, Ben-Gurion University of the Negev, PO Box 653, 84105 Israel (e-mail: [email protected])
JACOB M. HOWE
Affiliation:
Computing Laboratory, University of Kent, Canterbury, Kent, UK

Abstract

This note illustrates theoretical worst-case scenarios for groundness analyses obtained through abstract interpretation over the abstract domains of definite (Def) and positive (Pos) Boolean functions. For Def, an example is given for which any Def-based abstract interpretation for groundness analysis follows a chain which is exponential in the number of argument positions as well as in the number of clauses but sub-exponential in the size of the program. For Pos, we strengthen a previous result by illustrating an example for which any Pos-based abstract interpretation for groundness analysis follows a chain which is exponential in the size of the program. It remains an open problem to determine if the worst case for Def is really as bad as that for Pos.

Type
TECHNICAL NOTE
Copyright
© 2001 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)