School of Computing

Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling

S. Genaim and A. King

Technical Report 10-02, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK., September 2002.

Abstract

A goal-independent suspension analysis is presented that infers a class of goals for which a logic program with delay can be executed without suspension. The crucial point is that the analysis does not verify that an (abstract) goal does not lead to non-suspension but infers (abstract) goals that do not lead to non-suspension. The analysis has applications in debugging, verification and program optimisation.

Download publication 454 kbytes (PostScript)

Bibtex Record

@techreport{1560,
author = {S.~Genaim and A.~King},
title = {Goal-{I}ndependent {S}uspension {A}nalysis for {L}ogic {P}rograms with {D}ynamic {S}cheduling},
month = {September},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1560},
    publication_type = {techreport},
    submission_id = {8611_1037715387},
    number = {10-02},
    address = {University of Kent, Canterbury, CT2 7NF, UK.},
    institution = {University of Kent, Computing Laboratory},
}

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

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

Last Updated: 21/03/2014