School of Computing

A Semantic Basis for Specialising Domain Constraints

J. M. Howe and A. King

Technical Report 21-99, University of Kent, Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK, November 1999 Presented at the International Workshop for Object-oriented and Constraint Programming for Time Critical Applications, Lisbon, Portugal.

Abstract

This paper formalises an analysis of finite domain programs and the resultant program transformation. The analysis adds low valency (domain) constraints to clauses in order to reduce search. The technique is outlined with a worked example and then formalised using abstract interpretation. Correctness of the analysis and of the transformation is proved.

Download publication 51 kbytes

Bibtex Record

@techreport{914,
author = {Howe, J. M. and King, A.},
title = {A {S}emantic {B}asis for {S}pecialising {D}omain {C}onstraints},
month = {November},
year = {1999},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Presented at the International Workshop for Object-oriented and Constraint Programming for Time Critical Applications, Lisbon, Portugal},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1999/914},
    address = {Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK},
    institution = {University of Kent},
    number = {21-99},
    publication_type = {techreport},
    submission_id = {2640_942936174},
    type = {Technical Report},
}

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

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

Last Updated: 21/03/2014