Alexander Aiken and T.K. Lakshman

EECS Department, University of California, Berkeley

Technical Report No. UCB/CSD-94-791

, 1994

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/CSD-94-791.pdf

We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checking problem is reduced to a decidable problem on systems of inclusion constraints over set expressions. We discuss some properties of the reduction algorithm, complexity, and present a proof of correctness.

---

BibTeX citation:

@techreport{Aiken:CSD-94-791,
    Author= {Aiken, Alexander and Lakshman, T.K.},
    Title= {Directional Type Checking of Logic Programs},
    Year= {1994},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/6318.html},
    Number= {UCB/CSD-94-791},
    Abstract= {We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checking problem is reduced to a decidable problem on systems of inclusion constraints over set expressions. We discuss some properties of the reduction algorithm, complexity, and present a proof of correctness.},
}

EndNote citation:

%0 Report
%A Aiken, Alexander 
%A Lakshman, T.K. 
%T Directional Type Checking of Logic Programs
%I EECS Department, University of California, Berkeley
%D 1994
%@ UCB/CSD-94-791
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1994/6318.html
%F Aiken:CSD-94-791