Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Directional Type Checking of Logic Programs

Alexander Aiken and T.K. Lakshman

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-94-791
1994

http://www.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},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1994},
    URL = {http://www.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://www.eecs.berkeley.edu/Pubs/TechRpts/1994/6318.html
%F Aiken:CSD-94-791