Thom Frühwirth, Christian Holzbaur  Home/Search
Context
Related
| informatik.uniulm.de...gulp03final.ps 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: informatik.uniulm.de/pm/...node7 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We argue that adding Source-to-Source transformation (STS) to Constraint Handling Rules (CHR) is easy, desirable and elegant. The central ideas are to represent CHR programs in relational form, and the utilization of CHR proper to perform the transformations, acting upon this representation. We illustrate the power and practicality of STS for CHR on three non-trivial examples. The rst example shows the application of STS in a bootstrapping compiler for CHR. Then we extend the CHR... (Update)
Active bibliography (related documents): More All
0.3: SIC: Satisfiability Checking for Integrity Constraints - Bry, Eisinger, Schütz, Torge (1998) (Correct)
0.3: Semantic Query Optimization through Abduction and Constraint.. - Wetzel, Toni (1998) (Correct)
0.1: The Computational Power and Complexity of Constraint.. - Sneyers, Schrijvers.. (Correct)
Similar documents based on text: More All
0.4: The Munich Rent Advisor: A Success for Logic Programming.. - Frühwirth, ABDENNADHER (Correct)
0.4: Specialization of Concurrent Guarded Multi-Set - Transformation Rules Thom (Correct)
0.3: Terminological Reasoning with Constraint Handling Rules - Frühwirth, Hanschke (1993) (Correct)
BibTeX entry: (Update)
@misc{ hwirth-sourcetosource,
author = "Thom Frühwirth and Christian Holzbaur",
title = "Source-to-Source Transformation for a Class of Expressive Rules",
url = "citeseer.ist.psu.edu/653303.html" }
Citations (may not include all citations):64 Theory and Practice of Constraint Handling Rules - Fr - 1998 DBLP
42 Program improvement by source-to-source transformation (context) - Loveman - 1977 ACM DBLP
8 Optimizing Compilation of Constraint Handling Rules - Holzbaur, Banda et al. - 2001 ACM DBLP
3 CHR : A Flexible Query Language - Abdennadher, Sch - 1998
1 Special Issue Journal of Applied Arti cial Intelligence (context) - Rules - 2000
1 Guest Editors: Marco Comini and Moreno Falaschi (context) - Fr, Di Pierro et al. - 2002
1 Source-to-Source Transformation for Constraint Handling Rule.. (context) - Holzbaur - 2002
1 constraint+handling+rules (context) - Constraint, Rules et al. - 2003
1 A Literate Programming System for Logic Programs with Constr.. (context) - Torres - 2002
Documents on the same site (http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/node7.html): More
J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 Theory and.. - Thom Fruhwirth.. (Correct)
As Time Goes By: Automatic Complexity Analysis of Simpli - Cation Rules Thom (2002) (Correct)
The Munich Rent Advisor - Frühwirth, Abdennadher (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