@inproceedings{fcca9bd50ca845b09edb0df3c0f151c6,
title = "Pos(T ): Analyzing dependencies in typed logic programs",
abstract = "Dependencies play a major role in the analysis of program properties. The analysis of groundness dependencies for logic programs using the class of positive Boolean functions is a main applications area. The precision of such an analysis can be improved through the integration of either pattern information or type information. This paper develops an approach in which type information is exploited. Different from previous work, a separate simple analysis is performed for each subtype of the types. If the types are polymorphic, then dependencies for specific type instances are derived from the analysis of the polymorphic typed program.",
author = "Maurice Bruynooghe and Wim Vanhoof and Michael Codish",
year = "2001",
doi = "10.1007/3-540-45575-2_40",
language = "English",
isbn = "354043075X",
volume = "2244",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "406--420",
editor = "Dines Bj{\o}rner and Manfred Broy and Zamulin Zamulin",
booktitle = "Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Revised Papers",
address = "Germany",
note = "4th International Andrei Ershov Memorial Conference on {"}Perspectives of System Informatics{"}, PSI 2001 ; Conference date: 02-07-2001 Through 06-07-2001",
}