TY  - CONF
A1  - Abdennadher, Slim
A1  - Ismail, Haythem
A1  - Khoury, Frederick
T1  - Transforming imperative algorithms to constraint handling rules
N2  - 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.
Y1  - 2010
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/3969
UR  - https://nbn-resolving.org/urn:nbn:de:kobv:517-opus-41533
ER  -