Refine
Year of publication
Document Type
- Conference Proceeding (545) (remove)
Language
- English (458)
- German (74)
- Multiple languages (10)
- French (2)
- Russian (1)
Keywords
- Archiv (4)
- Information Structure (4)
- Nachlass (4)
- Cloud Computing (3)
- E-Learning (3)
- E-Mail Tracking (3)
- ERP (3)
- MOOC (3)
- Privacy (3)
- enterprise systems (3)
Institute
- Extern (139)
- Fachgruppe Betriebswirtschaftslehre (59)
- Institut für Biochemie und Biologie (56)
- Department Sport- und Gesundheitswissenschaften (40)
- Institut für Ernährungswissenschaft (36)
- Department Psychologie (29)
- Institut für Künste und Medien (23)
- Interdisziplinäres Zentrum für Musterdynamik und Angewandte Fernerkundung (23)
- Institut für Informatik und Computational Science (20)
- Institut für Slavistik (17)
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.