当前位置: X-MOL 学术arXiv.cs.PL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Splitting recursion schemes into reversible and classical interacting threads
arXiv - CS - Programming Languages Pub Date : 2021-05-11 , DOI: arxiv-2105.04910
Armando B. Matos, Luca Paolini, Luca Roversi

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.

中文翻译:

将递归方案划分为可逆的经典交互线程

给定一个简单的递归函数,我们说明如何从中提取可逆的经典迭代部分。这些部分可以在生产者/消费者模式下同步协作,以实现原始的递归功能。可逆生成器旨在在可逆硬件上运行。我们还将讨论如何将提取扩展到更通用的编译方案。
更新日期:2021-05-12
down
wechat
bug