Previous results on confluence for Constraint Handling Rules, CHR, are generalized to take into account user-defined state equivalence relations. This allows a much larger class of programs to enjoy the advantages of confluence, which include various optimization techniques and simplified correctness proofs. A new operational semantics for CHR is introduced that reduces notational overhead sign...

The finite element alternating method is an attractive and efficient method for calculating the stress intensity factor of cracks emanating from fastener holes such as the problem of multiple site damage (MSD) at the fuselage skin of aging aircraft. While the alternating method has been used to solve various engineering problems in assessing the structural integrity of aging aircraft, this meth...

OBJECTIVE Complex vertebral confluence aneurysms remain clinically challenging despite the rapid technological advances in endovascular technology. Therefore, animal confluence aneurysm models are urgently needed for the preclinical development of related medical devices and training clinicians. This study aimed to establish canine confluence aneurysm model and evaluate hemodynamics in this mod...

The rule labeling heuristic aims to establish confluence of (left-)linear term rewrite systems via decreasing diagrams. We present a formalization of a confluence criterion based on the interplay of relative termination and the rule labeling in the theorem prover Isabelle. Moreover, we report on the integration of this result into the certifier CeTA, facilitating the checking of confluence cert...

In this paper we extend the concept of ∆-confluence to ∆k-confluence by allowing more generalized junctions, called ∆k-junctions. We present an algorithm for recognizing graphs that are ∆k-confluent. We then generalize ∆k-confluence to Ok-confluence by allowing non-intersecting chords within a junction, resulting in Ok-junctions. We present an algorithm for recognizing graphs that are Ok-conflu...