Article contents
Concurrent goal-based execution of Constraint Handling Rules
Published online by Cambridge University Press: 29 July 2010
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.
- Type
- Regular Papers
- Information
- Copyright
- Copyright © Cambridge University Press 2010
References
- 2
- Cited by