Analysis of Downward Closed Properties of Logic Programs

Publication TypeConference Paper
Year of Publication2000
AuthorsHill PM, Spoto F
EditorRus T
Conference NameProceedings of the International Conference on Algebraic Methodology and Software Technology
PublisherSpringer-Verlag, Berlin
ISBN Number3-540-67530-2

We study the analysis of downward closed properties of logic programs, which are a very abstract presentation of types. We generalise to a very large class of downward closed properties the construction of the traditional domains for groundness analysis in such a way that the results enjoy the good properties of that domain. Namely, we obtain abstract domains with a clear representation made of logical formulas and with optimal and well-known abstract operations. Moreover, they can be built using the linear refinement technique, and, therefore, are provably optimal and enjoy the condensing property, which is very important for a goal-independent analysis.

We are a passionate team of experts. Do not hesitate to let us have your feedback:
You may be surprised to discover just how much your suggestions matter to us.