School of Computing

Mode analysis domains for typed logic programs

J.-G. Smaus, P. Hill, and A. King

In A. Bossi, editor, LOPSTR, pages 182-196. Springer-Verlag, January 2000.

Abstract

Precise mode information is important for compiler optimisations and in program development tools. Within the framework of abstract compilation, the precision of a mode analysis depends, in part, on the expressiveness of the abstract domain and its associated abstraction function. This paper considers abstract domains for polymorphically typed logic programs and shows how specialised domains may be constructed for each type in the program. These domains capture the degree of instantiation to a high level of precision. By providing a generic definition of abstract unification, the abstraction of a program using these domains is formalised. The domain construction procedure is fully implemented using the Godel language and tested on a number of example programs to demonstrate the viability of the approach.

Download publication 336 kbytes (PostScript)

Bibtex Record

@inproceedings{1011,
author = {J.-G.~Smaus and P.~Hill and A.~King},
title = {Mode Analysis Domains for Typed Logic Programs},
month = {January},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1011},
    booktitle = {LOPSTR},
    editor = {A. Bossi},
    publication_type = {inproceedings},
    publisher = {Springer-Verlag},
    submission_id = {27560_953042607},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014