Download PDFOpen PDF in browserNumeric Base Conversion with Rewriting15 pages•Published: May 26, 2024AbstractWe 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.Keyphrases: base conversion, numeric bases, term rewriting In: Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors). LPAR 2024 Complementary Volume, vol 18, pages 92-106.
|