Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

https://hal.inria.fr/hal-03710007
Contributor : Laure Gonnord Connect in order to contact the contributor
Submitted on : Monday, July 4, 2022 - 2:44:25 PM
Last modification on : Wednesday, July 6, 2022 - 3:06:14 AM

File

iwc22_para.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03710007, version 2

Collections

Citation

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⟩

Share

Metrics

Record views

1091

Files downloads

5937