Parallel Complexity of Term Rewriting Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Parallel Complexity of Term Rewriting Systems

Résumé

In this workshop paper, we revisit the notion of parallel-innermost term rewriting. We provide a definition of parallel complexity and propose techniques to derive upper bounds on this complexity via the Dependency Tuple framework by Noschinski et al.

Domaines

Informatique et langage [cs.CL] Systèmes embarqués Algorithme et structure de données [cs.DS]
Fichier principal
Vignette du fichier
wst2021.pdf (407.96 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Laure Gonnord  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03418400

Soumis le : dimanche 7 novembre 2021-13:37:06

Dernière modification le : mardi 12 novembre 2024-15:20:06

Archivage à long terme le : mardi 8 février 2022-18:09:03

Télécharger pour visualiser

Dates et versions

hal-03418400 , version 1 (07-11-2021)

Identifiants

  • HAL Id : hal-03418400 , version 1

Citer

Thaïs Baudon, Carsten Fuhs, Laure Gonnord. Parallel Complexity of Term Rewriting Systems. WST 2021 - 17th International Workshop on Termination, Jul 2021, Virtual, France. pp.1-6. ⟨hal-03418400⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INRIA2 UNIV-RENNES UDL ANR
104 Consultations
122 Téléchargements

Partager

More