We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Concurrent goal-based execution of Constraint Handling Rules.
- Authors
LAM, EDMUND S. L.; SULZMANN, MARTIN
- Abstract
We introduce a systematic, concurrent execution scheme for Constraint Handling Rules (CHR) based on a previously proposed sequential goal-based CHR semantics. We establish strong correspondence results to the abstract CHR semantics, thus guaranteeing that any answer in the concurrent, goal-based CHR semantics is reproducible in the abstract CHR semantics. Our work provides the foundation to obtain efficient, parallel CHR execution schemes.
- Subjects
DECLARATIVE programming languages; COMPUTER software execution; SEMANTICS; PARALLEL programming; REWRITING systems (Computer science); CONCURRENT engineering
- Publication
Theory & Practice of Logic Programming, 2011, Vol 11, Issue 6, p841
- ISSN
1471-0684
- Publication type
Article
- DOI
10.1017/S147106841000044X