经典与可逆交织
Interleaving classical and reversible
摘要：
给定一个简单的递归函数，我们展示了如何提取两个相互作用的进程，这两个进程可以通过迭代程序来描述，其中一个是本质上可逆的，在一种语言中，直到微小的细节，属于广泛使用的命令式程序设计语言的核心。我们实现的两个进程交错同步JAVA线程的相互作用是等效的递归函数，他们从中提取。
英文摘要：
Given a simple recursive function, we show how to extract two interacting processes from it. The two processes can be described by means of iterative programs, one of which is intrinsically reversible, in a language that, up to minor details, belongs to the core of widely used imperative programming languages. We implement the two processes as interleaving synchronous JAVA threads whose interaction is equivalent to the recursive function they are extracted from.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
