Numeric Base Conversion with Rewriting - Recherche en informatique (CRI)
 Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Numeric Base Conversion with Rewriting

Résumé

We introduce and discuss a term-rewriting technique to convert numbers from any nu- meric base to any other one without explicitly appealing to division. The rewrite system is purely local and conversion has a quadratic complexity, matching the one of the standard base-conversion algorithm. We prove confluence and termination, and give an implemen- tation and benchmarks in the Dedukti type checker. This work extends and generalizes a previous work by Delahaye, published in a vulgarization scientific review.
Fichier principal
Vignette du fichier
A-819.pdf (461.99 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04604688 , version 1 (17-06-2024)

Identifiants

Citer

Olivier Hermant, Wojciech Loboda. Numeric Base Conversion with Rewriting. LPAR 2024 Complementary Volume, May 2024, Balaclava, Mauritius. pp.92-106, ⟨10.29007/21t9⟩. ⟨hal-04604688⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More