L. Nixon. A directional type checker for Prolog . Master's thesis LiTH-IDA-Ex-9602, Linkoping university, 1996. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Directional Types and the Annotation Method - Boye, Maluszynski (1997) (23 citations) (Correct)
....the S well typing condition can also handle clauses whose body literals cannot be reordered to obtain well typing, as shown by the example programs of Sections 3 and 7. Existence of some systems that perform directional type checking is reported in the literature. In the context of our work, Nixon [36] implemented a system that allows for defining new regular types and for associating a directional type with user defined predicates. The predefined predicates have standard directional types, which can be changed by the user. The system can check the correctness of a directional type 39 with ....
L. Nixon. A directional type checker for Prolog . Master's thesis LiTH-IDA-Ex-9602, Linkoping university, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC