POS(T): Analyzing Dependencies in Typed Logic Programs

Maurice Bruynooghe, Wim Vanhoof and Michael Codish   

Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, (PSI); 2001

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. Work has been done to improve its precision through the integration of either pattern information or type information. This paper develops another approach where type information is exploited. Different from previous work, a separate simple analysis is done for each subtype of the types. Also, a technique is developed that reuses the results of a polymorphic predicate for the type instances under which it is called.

Available:    bibtex entry   compressed postscript

Michael Codish
The Department of Computer Science
Ben-Gurion University of the Negev
PoB 653, Beer-Sheva, 84105, Israel
mcodish@cs.bgu.ac.il

© copyright notice