Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop

Michael Codish, Bart Demoen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

39 Scopus citations


This paper illustrates the application of abstract compilation using multiple incarnations of the domain Prop in deriving type dependencies for logic programs. We illustrate how dependencies can be derived in the presence of both monomorphic and polymorphic type information. Type dependencies generalize the recently proposed notion of directional types as well as the more common notion of groundness dependencies. Directional types have proven useful in a number of applications such as in proving termination. These applications, however, are based on type declarations. The main contribution of this paper is in the simplicity in which non-trivial type dependencies are inferred using abstract compilation and by associating each type with an incarnation of Prop. We illustrate the use of a semantics for open logic programs in maintaining space efficient analyses. Time efficiency is also maintained due to approximation of the type domain in a boolean lattice calling on results of universal algebra.

Original languageEnglish
Title of host publicationStatic Analysis - 1st International Static Analysis Symposium, SAS '94, Proceedings
EditorsBaudouin Le Charlier
PublisherSpringer Verlag
Number of pages16
ISBN (Print)9783540584858
StatePublished - 1 Jan 1994
Externally publishedYes
Event1st International Static Analysis Symposium, SAS 1994 - Namur, Belgium
Duration: 28 Sep 199430 Sep 1994

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume864 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference1st International Static Analysis Symposium, SAS 1994

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Deriving polymorphic type dependencies for logic programs using multiple incarnations of prop'. Together they form a unique fingerprint.

Cite this