@inproceedings{bd07071b1304407ca920529e04d98f37,
title = "A framework for analysis of typed logic programs",
abstract = "The paper presents a novel approach to the analysis of typed logic programs. We assume regular type descriptions of logic program variables provided by regular tree grammars. Types are used to identify components of terms which can be equated during the programs execution. This information is reflected in form of set constraints in the generic abstract domain called Type(X). The domain allows for abstract compilation of typed logic programs into set logic programs. We demonstrate how the analyzers of groundness and sharing of typed logic programs are obtained by applying the existing (untyped) techniques based on Pos and Sharing to set logic programs. The corresponding analyses in Type(Pos) and Type(Sharing) are more precise than those in Pos and Sharing.",
author = "Vitaly Lagoon and Stuckey, {Peter J.}",
year = "2001",
month = jan,
day = "1",
doi = "10.1007/3-540-44716-4_19",
language = "English",
isbn = "3540417397",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "296--310",
editor = "Herbert Kuchen and Kazunori Ueda",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
note = "5th International Symposium on Functional and Logic Programming, FLOPS 2001 ; Conference date: 07-03-2001 Through 09-03-2001",
}