"Fr\u00FChwirth" .
"logical equivalence" .
"solver" .
"Abdennadher" .
_:N9834ac0b38ae4651856e3f839f7b7a1e .
"related families" .
"CHR one simplifies" .
"constraints" .
"special nature" .
_:N719b4900e5024a9bab0b411d7e32c504 .
"false"^^ .
_:Nc269bb79323a4d6497bbf5d34b916824 _:N9834ac0b38ae4651856e3f839f7b7a1e .
_:N46f5747fd9cb4fe1916d5d24e4745f7a .
"soundness" .
.
"notion" .
.
"completeness results" .
_:Nc269bb79323a4d6497bbf5d34b916824 .
"properties" .
_:N3cdf8150d7a54254b8e1f5aca7f685a3 .
"constraint programming language" .
"Thom" .
.
"powerful language" .
.
_:N76d6b28b97f443f9a7b5dcb90a1d51bc .
.
_:N719b4900e5024a9bab0b411d7e32c504 .
"applications" .
"Computer Software" .
"syntactic conditions" .
"program" .
"1996" .
"Holger" .
"CHR programs" .
"notion of confluence" .
"paper" .
"Meuss" .
"https://doi.org/10.1007/3-540-61551-2_62" .
"correctness" .
"set" .
.
"Computer Science Department, University of Munich, Oettingenstr. 67, 80538, Munich, Germany" .
_:N5ecfcfac08fb4cf9aeceb0af6a0ce353 "10.1007/3-540-61551-2_62" .
.
"1-15" .
"chapters" .
.
_:N46f5747fd9cb4fe1916d5d24e4745f7a .
_:N2e5a3467957a4574bae3118a4583ba6a "Springer Nature" .
_:N6bd62dab208648be808e09d884a198dd "Eugene C." .
_:N76d6b28b97f443f9a7b5dcb90a1d51bc .
"rules" .
.
.
.
"particular correctness" .
"inconsistencies" .
"results" .
"language" .
_:N3cdf8150d7a54254b8e1f5aca7f685a3 _:N6bd62dab208648be808e09d884a198dd .
"complex constraints" .
.
.
_:N5ecfcfac08fb4cf9aeceb0af6a0ce353 .
"conditions" .
"reasons" .
_:N5ecfcfac08fb4cf9aeceb0af6a0ce353 .
_:N3cdf8150d7a54254b8e1f5aca7f685a3 .
"Constraint Handling Rules" .
"necessary syntactic condition" .
"computation" .
"Slim" .
_:N5ecfcfac08fb4cf9aeceb0af6a0ce353 "doi" .
.
_:N46f5747fd9cb4fe1916d5d24e4745f7a "Springer Nature - SN SciGraph project" .
_:N6bd62dab208648be808e09d884a198dd .
"simplifies" .
"syntactical properties" .
_:N2e5a3467957a4574bae3118a4583ba6a .
"1996-01-01" .
_:N76d6b28b97f443f9a7b5dcb90a1d51bc "978-3-540-70620-5" .
"2022-01-01T19:20" .
"set of constraints" .
.
"chapter" .
"en" .
"CHR rules" .
"We introduce the notion of confluence for Constraint Handling Rules (CHR), a powerful language for writing constraint solvers. With CHR one simplifies and solves constraints by applying rules. Confluence guarantees that a CHR program will always compute the same result for a given set of constraints independent of which rules are applied. We give a decidable, sufficient and necessary syntactic condition for confluence.Confluence turns out to be an essential syntactical property of CHR programs for two reasons. First, confluence implies correctness (as will be shown in this paper). In a correct CHR program, application of CHR rules preserves logical equivalence of the simplified constraints. Secondly, even when the program is already correct, confluence is highly desirable. Otherwise, given some constraints, one computation may detect their inconsistency while another one may just simplify them into a still complex constraint.As a side-effect, the paper also gives soundness and completeness results for CHR programs. Due to their special nature, and in particular correctness, these theorems are stronger than what holds for the related families of (concurrent) constraint programming languages." .
"Computer Science Department, University of Munich, Oettingenstr. 67, 80538, Munich, Germany" .
"one simplifies" .
.
_:N702bc9d5c4d44b7db9350bf0a7621e26 "dimensions_id" .
_:N702bc9d5c4d44b7db9350bf0a7621e26 .
_:N76d6b28b97f443f9a7b5dcb90a1d51bc "Principles and Practice of Constraint Programming \u2014 CP96" .
_:N702bc9d5c4d44b7db9350bf0a7621e26 .
_:N2e5a3467957a4574bae3118a4583ba6a .
.
.
"https://scigraph.springernature.com/explorer/license/" .
"same results" .
"Handling Rules" .
_:N9834ac0b38ae4651856e3f839f7b7a1e _:N719b4900e5024a9bab0b411d7e32c504 .
_:N6bd62dab208648be808e09d884a198dd "Freuder" .
"essential syntactical property" .
"theorem" .
"nature" .
"Information and Computing Sciences" .
.
_:N702bc9d5c4d44b7db9350bf0a7621e26 "pub.1024772408" .
_:Nc269bb79323a4d6497bbf5d34b916824 .
"equivalence" .
"On confluence of Constraint Handling Rules" .
"correct CHR program" .
"constraint solver" .
"family" .
.
_:N76d6b28b97f443f9a7b5dcb90a1d51bc "978-3-540-61551-4" .
"one" .
"programming language" .
"confluence" .