Christian Holzbaur, Thom Frühwirth  Home/Search
Context Related
| informatik.unimuenchen....ercim98.ps.Z Cached: 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.
PS.gz PS Image Update HelpFrom: informatik.unimuenchen.d...node7 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce the most recent and advanced implementation of CHR which improves both on previous implementations (in terms of completeness, flexibility and efficiency) and on the principles that should guide such an implementation. The idea is to have three rather independent phases of the compiler that utilize templates to generate the code and macros to specialize it. Moreover, our new implementation of CHR emphasizes the need for and power of attributed variables. We compile constraints ... (Update)
Context of citations to this paper: More
.... through the match attempts, evaluates the guards, updates the constraint store depending on the rule type, and evaluates the rule bodies [HoFr98b]. 3.1 Join Computation The realization of the condition part of CHR consists of finding sets of tuples in the constraint store which...
.... sacrificied at the beginning, it could be recovered by using sophisticated program manipulation techniques such as partial evaluation [HF98]. CHR rules have a rather simple syntax and semantics. This makes it possible to manipulate them as formal objets in order to transform...
Cited by: More
Guard Simplification in CHR programs - Sneyers, Schrijvers, Demoen (2004) (Correct)
CHR for XSB - Schrijvers, Warren, Demoen (2003) (Correct)
CHR and Harrop formulas: entailment, universal constraints.. - Padioleau, Ridoux (2000) (Correct)
Similar documents (at the sentence level):
18.0%: Join Evaluation Schemata for Constraint Handling Rules (CHR) - Holzbaur, Frühwirth (1998) (Correct)
5.3%: SICStus Prolog User's Manual - Laboratory (2001) (Correct)
Active bibliography (related documents): More All
1.3: Theory and Practice of Constraint Handling Rules - Frühwirth (1998) (Correct)
0.7: J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 Theory and.. - Thom Fruhwirth.. (Correct)
0.5: Guarded Horn Clauses - Ueda (1986) (Correct)
Similar documents based on text: More All
0.7: Using Typed Interfaces to Compose CHR Programs - Ringwelski, Schlenker (2000) (Correct)
0.4: From Typing Constraints to Typed Constraint Systems in CHR - Coquery, Fages (2001) (Correct)
0.3: Rule-Based Constraint Programming: Theory and Practice - Abdennadher (2001) (Correct)
Related documents from co-citation: More All
3: Theory and Practice of Constraint Handling Rules - Fruhwirth - 1998
2: Constraint handling rules - Fruhwirth - 1995
2: High-Level Implementations of Constraint Handling Rules - Fruhwirth, Brisset - 1995
BibTeX entry: (Update)
Ch. Holzbaur and Th. Fruhwirth, Compiling Constraint Handling Rules, ERCIM/COMPULOG Workshop on Constraints, CWI, Amsterdam, The Netherlands, 1998. http://citeseer.ist.psu.edu/holzbaur98compiling.html More
@misc{ holzbaur98compiling,
author = "C. Holzbaur and T. Fruhwirth",
title = "Compiling Constraint Handling Rules",
text = "Ch. Holzbaur and Th. Fruhwirth, Compiling Constraint Handling Rules, ERCIM/COMPULOG
Workshop on Constraints, CWI, Amsterdam, The Netherlands, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/holzbaur98compiling.html" }
Citations (may not include all citations):373 Constraint Logic Programming: A Survey - Jaffar, Maher - 1994 DBLP
344 Concurrent Constraint Programming (context) - Saraswat - 1993 ACM DBLP
267 The Constraint Logic Programming Language CHIP (context) - Dincbas - 1988 DBLP
247 The Family of Concurrent Logic Programming Languages (context) - Shapiro - 1989 ACM DBLP
151 Logic Semantics for a Class of Committed-Choice Programs (context) - Maher DBLP
89 A Minimal Extension of the WAM for clp (context) - Diaz, Codognet - 1993
70 Swedish Institute of Computer Science (context) - Carlsson, Widen - 1995
66 Theory and Practice of Constraint Handling Rules - Fruhwirth - 1998 DBLP
47 An Automatic Partial Evaluator for Full Prolog - Sahlin - 1991
38 A Parallel Machine for Multiset Transformation and its Progr.. (context) - Coutant, Le Metayer - 1988 ACM
31 Attributed Variables in the Context of Extensible Unificatio.. (context) - Holzbaur, vs - 1992
30 Specification of Constraint Based Inference Mechanisms throu.. (context) - Holzbaur - 1990
29 A new data structure for implementing extensions to Prolog (context) - le - 1990 ACM DBLP
26 Extensible unification by metastructures (context) - Neumerkel - 1990
17 QD-Janus : A Sequential Implementation of Janus in Prolog - Debray - 1993
11 DFKI Oz Documentation Series (context) - Smolka, Treinen - 1994
8 Constraint Logic Programming (context) - Van Hentenryck - 1991 ACM DBLP
7 High-Level Implementations of Constraint Handling Rules - Fruhwirth, Brisset - 1995
7 A Language for Optimizing Constraint Propagation (context) - Sidebottom - 1993 ACM
7 Prolog control rules (context) - Naish - 1985
6 Applying interval arithmetic to Integer and Boolean constrai.. (context) - Benhamou, Older et al. - 1992
5 Weighted Decision Trees - Debray, Kannan et al. - 1992
4 Extensible Unification as Basis for the Implementation of CL.. (context) - Holzbaur - 1993
3 Chapter on Constraint Handling Rules (context) - Fruhwirth, Brisset - 1995
3 Eine homogene Implementierungsebene fur einen hybriden Wisse.. (context) - Herbig - 1993
2 Confluence and Semantics of Constraint Simplification Rules (context) - Fruhwirth, Abdennadher et al. - 1998 ACM DBLP
2 Concurrent Prolog Compiler on Top of Prolog (context) - Ueda, Chikayama - 1985 DBLP
2 Introducing Simplification Rules (context) - Fruhwirth - 1991
2 Constraint Handling Rules Reference Manual (context) - Holzbaur, Th - 1998
Documents on the same site (http://www.informatik.uni-muenchen.de/~fruehwir/node7.html): More
Optimal Placement of Base Stations in Wireless Indoor.. - Frühwirth, Brisset (1998) (Correct)
Optimal Planning of Digital Cordless Telecommunication Systems - Frühwirth, Brisset (1997) (Correct)
Join Evaluation Schemata for Constraint Handling Rules (CHR) - Holzbaur, Frühwirth (1998) (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