Splitting recursion schemes into reversible and classical interacting threads

Paper Info

Title
Splitting recursion schemes into reversible and classical interacting threads

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.

Authors (3 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	PageRank
Armando B. Matos	1	0.68
Luca Paolini	2	0.34
Luca Roversi	3	0.68