School of Computing

Pair-sharing over rational trees

Andy King

Journal of Logic Programming, 46(1-2):182-196, November 2000.

Abstract

Sharing information is useful in specialising, optimising and parallelising logic programs and thus sharing analysis is an important topic of both abstract interpretation and logic programming. Sharing analyses infer which pairs of program variables can never be bound to terms that contain a common variable. We generalise a classic pair sharing analysis from Herbrand unification to trace sharing over rational tree constraints. This is useful for reasoning about programs written in SICStus and Prolog-III because these languages use rational tree unification as the default equation solver.

Download publication 289 kbytes (PostScript)

Bibtex Record

@article{1052,
author = {Andy King},
title = {Pair-Sharing over Rational Trees},
month = {November},
year = {2000},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2000/1052},
    Number = {1-2},
    Volume = {46},
    journal = {Journal of Logic Programming},
    publication_type = {article},
    publisher = {Elsevier},
    submission_id = {25768_958640341},
}

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

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

Last Updated: 21/03/2014