Loading...
Please wait, while we are loading the content...
Similar Documents
CHR-rp: Constraint Handling Rules with rule priorities
| Content Provider | Semantic Scholar |
|---|---|
| Author | Koninck, Leslie De Schrijvers, Tom Demoen, Bart |
| Copyright Year | 2007 |
| Abstract | We extend the Constraint Handling Rules language (CHR) with user-defined rule priorities. This language extension reduces the level of non-determinism that is inherent to the theoretical operational semantics of CHR, and gives a more high-level form of execution control compared to the refined operational semantics. We suggest some application areas. A formal operational semantics for the extended language, called CHR, is given and its theoretical properties are discussed. We look at some issues with CHR and discuss alternatives for rule priorities. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW479.pdf |
| Alternate Webpage(s) | http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW479.pdf |
| Alternate Webpage(s) | https://core.ac.uk/download/pdf/34361300.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |