Slim Abdennadher, Thom Frühwirth  Home/Search
Context Related
Links: ACM DBLP | pms.informatik.unim...papercp99.ps.gz pms.informatik.uni...MSFB19999.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: pms.informatik.unimuench...paper (more) From: pms.informatik.unimuenchen.de... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . A fundamental question in programming language semantics is when two programs should be considered equivalent. In this paper we introduce a notion of operational equivalence for CHR programs and user-defined constraints. Constraint Handling Rules (CHR) is a highlevel language for writing constraint solvers either from scratch or by modifying existing solvers. We give a decidable, sufficient and necessary syntactic condition for operational equivalence of terminating and confluent CHR... (Update)
Context of citations to this paper: More
.... slightly di erent than the ones implemented manually [1] However, one can easily show that both programs 7 are operationally equivalent [3]. With our algorithm, propagation rules with a right hand side consisting of more complex constraints than equality constraints can also be...
.... We give a decidable, sucient and necessary syntactic condition for operational equivalence of terminating and con uent CHR programs [5]. To analyze CHR executions, we present a visualization tool, called VisualCHR, which supports the development of rule based constraint...
Cited by: More
Specialization of Concurrent Guarded Multi-Set - Transformation Rules Thom (Correct)
As Time Goes By: Automatic Complexity Analysis of Simpli - Cation Rules Thom (2002) (Correct)
Constraint Solver Synthesis using Tabled - Resolution For Constraint (Correct)
Similar documents (at the sentence level):
30.4%: Rule-Based Constraint Programming: Theory and Practice - Abdennadher (2001) (Correct)
10.2%: On Completion of Constraint Handling Rules - Abdennadher, Frühwirth (1998) (Correct)
7.4%: Using Confluence to Generate Rule-based Constraint Solvers - Abdennadher, Rigotti (2001) (Correct)
Active bibliography (related documents): More All
0.7: Integration and Optimization of Rule-based Constraint Solvers - Abdennadher, Frühwirth (2004) (Correct)
0.2: Theory and Practice of Constraint Handling Rules - Frühwirth (1998) (Correct)
0.2: Security Policy Consistency - Ribeiro, Zuquete, Ferreira, Guedes (2000) (Correct)
Similar documents based on text: More All
0.9: Using Typed Interfaces to Compose CHR Programs - Ringwelski, Schlenker (2000) (Correct)
0.8: Implementing Constraint Solvers: Theory and Practice - Abdennadher, Frühwirth, Meuss (1996) (Correct)
0.8: Type Inference in CHR Programs for the Composition of.. - Ringwelski, Schlenker (2000) (Correct)
Related documents from co-citation: More All
5: Theory and practice of constraint handling rules - Fruhwirth - 1998
3: Inductive logic programming : Theory and methods - Muggleton, De Raedt - 1994
3: Operational semantics and con uence of constraint propagation rules (context) - Abdennadher - 1997
BibTeX entry: (Update)
S. Abdennadher and T. Fruhwirth. Operational equivalence of CHR programs and constraints. In 5th International Conference on Principles and Practice of Constraint Programming, CP'99, LNCS 1713. Springer-Verlag, 1999. http://citeseer.ist.psu.edu/abdennadher99operational.html More
@inproceedings{ abdennadher99operational,
author = "Slim Abdennadher and Thom W. Fruhwirth",
title = "Operational Equivalence of {CHR} Programs and Constraints",
booktitle = "Principles and Practice of Constraint Programming",
pages = "43-57",
year = "1999",
url = "citeseer.ist.psu.edu/abdennadher99operational.html" }
Citations (may not include all citations):66 Theory and practice of constraint handling rules - Fruhwirth - 1998
61 Equivalences of logic programs (context) - Maher - 1986
24 Operational semantics and confluence of constraint propagati.. - Abdennadher - 1997
10 On confluence of constraint handling rules - Abdennadher, Fruhwirth et al. - 1996
9 Observable behaviors and equivalences of logic programs - Gabbrielli, Levi et al. - 1995 ACM DBLP
6 fold transformations of CCP programs (context) - Etalle, Gabrielli et al. - 1998
6 On completion of constraint handling rules - Abdennadher, Fruhwirth - 1998 ACM DBLP
6 Confluence and semantics of constraint simplification rules - Abdennadher, Fruhwirth et al. - 1999 ACM DBLP
4 ACMMIT SDRC Workshop (context) - constraint, group et al. - 1996
3 Operational equivalence of constraint handling rules (context) - Abdennadher, Fruhwirth - 1999
Documents on the same site (http://www.pms.informatik.uni-muenchen.de/mitarbeiter/abdennad/paper.html): More
The Munich Rent Advisor - Frühwirth, Abdennadher (Correct)
Model Generation with Existentially Quantified Variables.. - Abdennadher, Schütz (1997) (Correct)
CHR: A Flexible Query Language - Abdennadher, Schütz (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