© University of Kent - Contact | Feedback | Legal | FOI | Cookies
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 kbytesBibtex 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}, }