Splitting recursion schemes into reversible and classical interacting threads
Programming Languages
2021-05-12 v1
Abstract
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.
Keywords
Cite
@article{arxiv.2105.04910,
title = {Splitting recursion schemes into reversible and classical interacting threads},
author = {Armando B. Matos and Luca Paolini and Luca Roversi},
journal= {arXiv preprint arXiv:2105.04910},
year = {2021}
}
Comments
The first 10 pages will appear in the proceedings of 13th Conference on Reversible Computation. Appendix is for this authors version. arXiv admin note: substantial text overlap with arXiv:2102.09436