Conference Papers Year : 2022

On Confluence of Parallel-Innermost Term Rewriting

Abstract

We revisit parallel-innermost term rewriting as a model of parallel computation on inductive data structures. We propose a simple sufficient criterion for confluence of parallelinnermost rewriting based on non-overlappingness. Our experiments on a large benchmark set indicate the practical usefulness of our criterion. We close with a challenge to the community to develop more powerful dedicated techniques for this problem.
Fichier principal
Vignette du fichier
iwc22_para.pdf (325) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03710007 , version 1 (30-06-2022)
hal-03710007 , version 2 (04-07-2022)

Identifiers

  • HAL Id : hal-03710007 , version 2

Cite

Thaïs Baudon, Carsten Fuhs, Laure Gonnord. On Confluence of Parallel-Innermost Term Rewriting. IWC 2022 - 11th International Workshop on Confluence, Aug 2022, Haifa, Israel. ⟨hal-03710007v2⟩
98 View
71 Download

Share

More