Jon Sneyers, Tom Schrijvers, Bart Demoen  Home/Search
Context Related
| cs.kuleuven.ac.be/~dtai/p...41501.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kuleuven.ac.be/...2005E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Constraint Handling Rules (CHR) is a high-level language commonly used to write constraint solvers. Most CHR programs depend on the refined operational semantics, obfuscating their logical reading and causing di#erent (termination) behavior under the theoretical operational semantics. We introduce a source to source transformation called guard simplification which allows CHR programmers to write selfdocumented rules with a clear logical reading. Performance is improved by removing guards ... (Update)
Cited by: More
Guard and Continuation Optimization for Occurrence.. - Sneyers, Schrijvers.. (2005) (Correct)
Guard Simplification in CHR programs - Sneyers, Schrijvers, Demoen (2004) (Correct)
Active bibliography (related documents): More All
1.1: Automatic Implication Checking for CHR Constraints - Schrijvers, Demoen, Duck.. (2005) (Correct)
0.6: Constraint Handling Rules and Tabled Execution - Schrijvers, Warren (2004) (Correct)
0.4: The Computational Power and Complexity of Constraint.. - Sneyers, Schrijvers.. (Correct)
Similar documents based on text: More All
0.4: CHR for XSB - Schrijvers, Warren, Demoen (2003) (Correct)
0.3: Refactoring Prolog Code - Schrijvers, Serebrenik, Demoen (2004) (Correct)
0.3: Refactoring Prolog Programs - Schrijvers, Serebrenik, Demoen (2001) (Correct)
Related documents from co-citation: More All
5: Abstract Interpretation for Constraint Handling Rules (context) - Duck, Schrijvers et al. - 2004
3: The Refined Operational Semantics of Constraint Handling Rules (context) - Duck, Stuckey et al. - 2004
3: Leuven CHR system: implementation and application (context) - Schrijvers, Demoen - 2004
BibTeX entry: (Update)
Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard Simplification in CHR programs. Technical Report CW 396, K.U.Leuven, Department of Computer Science, November 2004. http://citeseer.ist.psu.edu/sneyers04guard.html More
@misc{ sneyers04guard,
author = "J. Sneyers and T. Schrijvers and B. Demoen",
title = "Guard Simplification in CHR programs",
text = "Jon Sneyers, Tom Schrijvers, and Bart Demoen. Guard Simplification in CHR
programs. Technical Report CW 396, K.U.Leuven, Department of Computer Science,
November 2004.",
year = "2004",
url = "citeseer.ist.psu.edu/sneyers04guard.html" }
Citations (may not include all citations):66 Theory and Practice of Constraint Handling Rules - Fruhwirth - 1998
26 cient purely declarative logic programming language (context) - Somogyi, Henderson et al. - 1995
26 Determinism analysis in the Mercury compiler - Henderson, Somogyi et al. - 1996
5 The Refined Operational Semantics of Constraint Handling Rul.. (context) - Duck, Stuckey et al. - 2004
4 Leuven CHR system: implementation and application (context) - Schrijvers, Demoen - 2004
4 Compiling Constraint Handling Rules - Holzbaur, Fruhwirth - 1998
3 Abstract Interpretation for Constraint Handling Rules (context) - Duck, Schrijvers et al. - 2004
3 Extending Arbitrary Solvers with Constraint Handling Rules - Duck, Stuckey et al. - 2003
3 Guard Simplification in CHR programs - Sneyers, Schrijvers et al. - 2004
3 Implementing and Analysing Union-Find in CHR (context) - Schrijvers, Fruwirth - 2004
3 Available at http://www (context) - CHR, Online - 2004
3 Available at http://www (context) - Schrijvers, programs - 2004
1 The hProlog home page (context) - Demoen - 2004
1 Antimonotony-based Delay Avoidance for CHR (context) - Schrijvers, Demoen - 2004
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/2005-E.shtml): More
Inference of Well-typings for Logic Programs with.. - Bruynooghe.. (2005) (Correct)
Experiments with Relational Neural Networks - Uwents, Blockeel (Correct)
Logical Bayesian Networks and Their Relation to.. - Fierens.. (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC