Unification of Drags and Confluence of Drag Rewriting - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logical and Algebraic Methods in Programming Year : 2023

Unification of Drags and Confluence of Drag Rewriting

Abstract

Drags are a recent, natural generalization of terms which admit arbitrary cycles. A key aspect of drags is that they can be equipped with a composition operator so that rewriting amounts to replace a drag by another in a composition. In this paper, we develop a unification algorithm for drags that allows to check the local confluence property of a set of drag rewrite rules.
Fichier principal
Vignette du fichier
PublishedVersion (1).pdf (764.3 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-02562152 , version 1 (04-05-2020)
hal-02562152 , version 2 (31-10-2021)
hal-02562152 , version 3 (17-05-2022)
hal-02562152 , version 4 (11-08-2022)
hal-02562152 , version 5 (13-01-2023)

Identifiers

Cite

Jean-Pierre Jouannaud, Fernando Orejas. Unification of Drags and Confluence of Drag Rewriting. Journal of Logical and Algebraic Methods in Programming, 2023, 131, pp.26. ⟨10.1016/j.jlamp.2022.100845⟩. ⟨hal-02562152v5⟩
326 View
358 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More