Matching in Quantitative Equational Theories - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Matching in Quantitative Equational Theories

Georg Ehling
  • Fonction : Auteur
  • PersonId : 1261984
Temur Kutsia
  • Fonction : Auteur
  • PersonId : 1261981

Résumé

Quantitative equational reasoning, as introduced by Mardare, Panangaden, and Plotkin (2016), provides a framework that extends the equality predicate on terms to a notion of proximity. It allows to consider "indexed equations" s ≈ε t between terms with the idea of expressing that "s is within ε from t". In this work-in-progress paper, we discuss matching in the setting of quantitative equational reasoning. We outline a matching algorithm for a special case and suggest possible generalizations.
Fichier principal
Vignette du fichier
UNIF_2023_paper_8.pdf (373.21 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04128216 , version 1 (14-06-2023)

Licence

Identifiants

  • HAL Id : hal-04128216 , version 1

Citer

Georg Ehling, Temur Kutsia. Matching in Quantitative Equational Theories. UNIF 2023 - 37th International Workshop on Unification, Veena Ravishankar; Christophe Ringeissen, Jul 2023, Rome, Italy. ⟨hal-04128216⟩

Collections

UNIF2023
58 Consultations
32 Téléchargements

Partager

More