Thom Fruwirth. Theory and practice of Constraint Handling Rules. Journal of Logic Programming, 37(1-3):95--138, October 1998. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Higher-Order Rewriting with Dependent Types - Virga (1999) (24 citations) (Correct)
Monadic Concurrent Linear Logic Programming - Lopez, Pfenning, Polakow, Watkins (2005) (Correct)
Protocol Specification and Verification by Using.. - Chesani.. (2005) (Correct)
Optimal Union-Find in Constraint Handling Rules - Schrijvers, Frühwirth (2005) (Correct)
Guard and Continuation Optimization for Occurrence.. - Sneyers, Schrijvers.. (2005) (Correct)
The Computational Power and Complexity of Constraint.. - Sneyers, Schrijvers.. (Correct)
Equivariant Unification - Cheney (Correct)
Modeling the User's Constraint Domain - Ringwelski (Correct)
Cooperative Solvers in Constraint Programming: a Short .. - Granvilliers.. (2001) (2 citations) (Correct)
A Logic Based Approach to Interaction Design in.. - Alberti.. (2004) (1 citation) (Correct)
Evaluation-Based Semiring Meta-Constraints - Jerome Kelleher And (Correct)
The Implementation of a System for Generation and.. - Alberti, Chesani (2004) (Correct)
Cost Analysis using Automatic Size and Time Inference - Portillo, Hammond, Loidl, .. (2002) (Correct)
Model Based Testing in Evolutionary Software Development - Pretschner, Lötzbeyer.. (2001) (4 citations) (Correct)
A Literate Programming System for Logic Programs with Constraints - Schumann (Correct)
SWI-Prolog 5.3 Reference Manual - Wielemaker (2004) (3 citations) (Correct)
Sound and Decidable Type Inference for Functional.. - Duck, Peyton-Jones.. (2004) (Correct)
Programming Finite-Domain Constraint Propagators in Action Rules - Zhou (2002) (Correct)
Unknown - (Correct)
Specialization of Concurrent Guarded Multi-Set - Transformation Rules Thom Self-citation (Fruhwirth) (Correct)
Integration and Optimization of Rule-based Constraint Solvers - Abdennadher, Frühwirth (2004) Self-citation (Fr) (Correct)
Source-to-Source Transformation for a Class of Expressive Rules - Frühwirth, Holzbaur Self-citation (Fr) (Correct)
As Time Goes By: Automatic Complexity Analysis of Simpli - Cation Rules Thom (2002) Self-citation (Fr) (Correct)
TCLP: overloading, subtyping and parametric polymorphism made .. - Coquery, Fages Self-citation (Fr) (Correct)
Constraint Solver Synthesis using Tabled - Resolution For Constraint Self-citation (Fr) (Correct)
First 50 documents Next 50
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