Transforming imperative algorithms to constraint handling rules

Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.

Metadaten
Verfasserangaben:	Slim Abdennadher, Haythem Ismail, Frederick Khoury
URN:	urn:nbn:de:kobv:517-opus-41533
Publikationstyp:	Konferenzveröffentlichung
Sprache:	Englisch
Erscheinungsjahr:	2010
Veröffentlichende Institution:	Universität Potsdam
Beteiligte Körperschaft:	Gesellschaft für Logische Programmierung e.V.
Datum der Freischaltung:	04.03.2010
Quelle:	Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Geske, Ulrich; Wolf, Armin (Hrsg.). - Potsdam : Universitätsverlag, 2010. - S. 139 - 153
Organisationseinheiten:	Extern / Extern
DDC-Klassifikation:	0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Sammlung(en):	Universität Potsdam / Tagungsbände/Proceedings (nicht fortlaufend) / Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009 / Constraint Handling Rules
Lizenz (Deutsch):	Keine öffentliche Lizenz: Unter Urheberrechtsschutz