Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Diagrammatic confluence for Constraint Handling Rules   Confluence is a fundamental property of Constraint Handling Rules (CHR)
since, as in other rewriting formalisms, it guarantees that the computations
are not dependent on rule application order, and also because it implies the
logical consistency of the program declarative view. In this paper we are
concerned with proving the confluence of non-terminating CHR programs. For this
purpose, we derive from van Oostrom's decreasing diagrams method a novel
criterion on CHR critical pairs that generalizes all preexisting criteria. We
subsequently improve on a result on the modularity of CHR confluence, which
permits modular combinations of possibly non-terminating confluent programs,
without loss of confluence.

16
The categories of this paper are: stat
29
The categories of this paper are: funct-an
35
The categories of this paper are: mtrl-th
22
The categories of this paper are: chao-dyn
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
4
The categories of this paper are: cond-mat
20
The categories of this paper are: acc-phys
19
The categories of this paper are: eess
6
The categories of this paper are: astro-ph
0
The categories of this paper are: hep-ph
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
15
The categories of this paper are: nucl-ex