Confluence Framework: Proving Confluence with CONFident

Gutiérrez, Raúl; Vítores, Miguel; Lucas, Salvador

doi:10.1007/978-3-031-16767-6_2

Search citation statements

Order By: Relevance

Paper Sections

Select...

:221

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another future work is to develop an effective confluence analysis based on compositional confluence criteria and reduction methods. The use of the confluence framework [GVL22] which exploits modularity results would be worth investigating.…”

Section: :22mentioning

confidence: 99%

Compositional Confluence Criteria

Shintani,

Hirokawa

2024

Logical Methods in Computer Science

View full text Add to dashboard Cite

We show how confluence criteria based on decreasing diagrams are generalized to ones composable with other criteria. For demonstration of the method, the confluence criteria of orthogonality, rule labeling, and critical pair systems for term rewriting are recast into composable forms. We also show how such a criterion can be used for a reduction method that removes rewrite rules unnecessary for confluence analysis. In addition to them, we prove that Toyama's parallel closedness result based on parallel critical pairs subsumes his almost parallel closedness theorem.

show abstract

Section: :22mentioning

confidence: 99%