Splitting recursion schemes into reversible and classical interacting threads

05/11/2021

∙

by   Armando B. Matos, et al.

∙

0

∙

share

Given a simple recursive function, we show how to extract from it a reversible and an classical iterative part. Those parts can synchronously cooperate under a Producer/Consumer pattern in order to implement the original recursive function. The reversible producer is meant to run on reversible hardware. We also discuss how to extend the extraction to a more general compilation scheme.