Pos(T ): Analyzing dependencies in typed logic programs

Maurice Bruynooghe, Wim Vanhoof, Michael Codish

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

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.

langue originaleAnglais
titrePerspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Revised Papers
rédacteurs en chefDines Bjørner, Manfred Broy, Zamulin Zamulin
EditeurSpringer Verlag
Pages406-420
Nombre de pages15
Volume2244
ISBN (imprimé)354043075X, 9783540430759
Les DOIs
Etat de la publicationPublié - 2001
Modification externeOui
Evénement4th International Andrei Ershov Memorial Conference on "Perspectives of System Informatics", PSI 2001 - Akademgorodok, Novosibirsk, Russie
Durée: 2 juil. 20016 juil. 2001

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2244 LNCS
ISSN (imprimé)0302-9743
ISSN (Electronique)1611-3349

Une conférence

Une conférence4th International Andrei Ershov Memorial Conference on "Perspectives of System Informatics", PSI 2001
Pays/TerritoireRussie
La villeAkademgorodok, Novosibirsk
période2/07/016/07/01

Empreinte digitale

Examiner les sujets de recherche de « Pos(T ): Analyzing dependencies in typed logic programs ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation