A novel model of reversible computing, the $\aleph$-calculus, is introduced. It is declarative, reversible-Turing complete, and has a local term-rewriting semantics. Unlike previously demonstrated reversible term-rewriting systems, it does not require the accumulation of history data. Terms in the $\aleph$-calculus, in combination with the program definitions, encapsulate all program state. An interpreter was also written.
翻译：引入了一个新的可逆计算模型,即 $\ aleph$- calculus 。 它具有宣示性、 可逆性- Turing 完整, 并具有本地的用词重写语义。 与先前演示的可逆性术语重写系统不同, 它不需要历史数据的积累。 $\ aleph$- calculus 中的术语, 结合程序定义, 包涵了所有程序状态。 也写了译员 。
相关内容
ACM/IEEE第23届模型驱动工程语言和系统国际会议，是模型驱动软件和系统工程的首要会议系列，由ACM-SIGSOFT和IEEE-TCSE支持组织。自1998年以来，模型涵盖了建模的各个方面，从语言和方法到工具和应用程序。模特的参加者来自不同的背景，包括研究人员、学者、工程师和工业专业人士。MODELS 2019是一个论坛，参与者可以围绕建模和模型驱动的软件和系统交流前沿研究成果和创新实践经验。今年的版本将为建模社区提供进一步推进建模基础的机会，并在网络物理系统、嵌入式系统、社会技术系统、云计算、大数据、机器学习、安全、开源等新兴领域提出建模的创新应用以及可持续性。
官网链接：http://www.modelsconference.org/
专知会员服务
19+阅读 · 2019年10月22日
Arxiv
1+阅读 · 2022年7月29日
Arxiv
0+阅读 · 2022年7月29日
相关VIP内容
专知会员服务
19+阅读 · 2019年10月22日
相关资讯
相关论文
Arxiv
1+阅读 · 2022年7月29日
Arxiv
0+阅读 · 2022年7月29日
微信扫码咨询专知VIP会员