Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!munnari!mulga!lee
From: lee@mulga.oz (Lee Naish)
Newsgroups: comp.lang.prolog
Subject: Re: Types Utilizations in Prolog
Message-ID: <2350@mulga.oz>
Date: Wed, 28-Oct-87 22:22:12 EST
Article-I.D.: mulga.2350
Posted: Wed Oct 28 22:22:12 1987
Date-Received: Sat, 31-Oct-87 14:32:03 EST
References: <2070@imag.UUCP>
Reply-To: lee@mulga.UUCP (Lee Naish)
Organization: Comp Sci, Melbourne Uni, Australia
Lines: 36

In article <2070@imag.UUCP> azzoune@imag.UUCP (H. AZZOUNE) writes:
>I am looking for literature and articles on Types Utilisations for 
>interpretation or compilation of Prolog.

Most literature on types in Prolog is related to debugging.

Type synthesis is probably most useful for compiler optimization,
for example, the following paper.

%A J. Zobel
%T Derivation of polymorphic types for Prolog programs
%J Proceedings of the Fourth International Conference on Logic Programming
%C Melbourne, Australia
%D May 1987

The following discusses application to program verification:

%A Tadashi Kanamori
%A Kenji Horiuchi
%T Type inference in Prolog and its applications
%J Proceedings of the Ninth International Joint Conference
on Artificial Intelligence
%C Los Angeles, California
%D September 1985
%K ijcai
%P 704-707

The following discusses application of interpretation to type checking.

%A Lee Naish
%T Specification = Program + Types
%J Proceedings of the 7th Conference on Foundations of Software Technology
and Theoretical Computer Science
%D December 1987 (to appear)
%C Pune, India
%X Technical Report 87/4, Department of Computer Science, University of Melbourne