Searching for "Optimizing Compilation of Constraint Handling Rules." – sorted by Relevance.
-
Optimizing Compilation of Constraint Handling Rules
- Optimizing Compilation of Constraint Handling Rules Christian Holzbaur 1 , Mara Garca de la Banda
- Cited by 28 (7 self) – Add To MetaCart
-
Abstract Interpretation for Constraint Handling Rules
- is essential for the optimized compilation of Constraint Handling Rules (CHRs) as well as the inference
- Cited by 15 (11 self) – Add To MetaCart

