@inproceedings{317a9b734ba94015ac2bbc1ef90ed451,
title = "Higher-precision groundness analysis",
abstract = "Groundness analysis of logic programs using Pos-based abstract interpretation is one of the clear success stories of the last decade in the area of logic program analysis. In this work we identify two problems with the Pos domain, the multiplicity and sign problems, that arise independently in groundness and uniqueness analysis. We describe how these problems can be solved using an analysis based on a domain Size for inferring term size relations. However this solution has its own shortcomings because it involves a widening operator which leads to a loss of Pos information. Inspired by Pos, Size and the LSign domain for abstract linear arithmetic constraints we introduce a new domain LPos, and show how it can be used for groundness and uniqueness analysis. The idea is to use the sign information of LSign to improve the widening of Size so that it does not lose Pos information. We prove that the resulting analyses using LPos are uniformly more precise than those using Pos.",
author = "Michael Codish and Samir Genaim and Harald S{\o}ndergaard and Stuckey, {Peter J.}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2001.; 17th International Conference on Logic Programming, ICLP 2001 ; Conference date: 26-11-2001 Through 01-12-2001",
year = "2001",
month = jan,
day = "1",
doi = "10.1007/3-540-45635-x_17",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "135--149",
editor = "Philippe Codognet",
booktitle = "Logic Programming - 17th International Conference, ICLP 2001, Proceedings",
address = "Germany",
}