摘要：一种新的可逆计算模型——aleph-演算被引入。它是声明式的、可逆图灵完备的，具有本地术语重写语义。与之前展示的可逆术语重写系统不同的是，它不需要积累历史数据。aleph-演算中的术语与程序定义的结合，封装了所有程序状态。还编写了一个解释器。
作者：Hannah Earley
论文ID：2206.05957
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-06-14
PDF 下载： 英文版 中文版pdf翻译中