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.
Splitting Recursion Schemes into Reversible and Classical Interacting Threads
Paolini Luca;Roversi Luca
2021-01-01
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.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
978-3-030-79837-6_12.pdf
Accesso aperto
Tipo di file:
PDF EDITORIALE
Dimensione
874.87 kB
Formato
Adobe PDF
|
874.87 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.