Automatic Recursion Elimination using Recurrence Relations for Synthesis of Stack-free Hardware. - Adam Musa; Christophe Dubach (ASP-DAC, 2026)