直纪西田;阿德里安·帕拉西奥斯;德国维达尔 Erlang的可逆语义。 (英语) Zbl 1485.68032号 Hermenegildo,Manuel V.(编辑)等人,基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10184, 259-274 (2017). 摘要:在可逆语言中,任何正向计算都可以通过有限的反向步骤序列来撤消。可逆计算已经在不同编程语言和形式的上下文中进行了研究,它被用于调试和增强容错等。在本文中,我们考虑了Erlang的子集,Erlang是一种基于参与者模型的并发语言,并形式化地引入了一种用于可逆计算的语义。据我们所知,这是首次尝试为Erlang定义可逆语义。关于整个系列,请参见[Zbl 1369.68025号]. 引用于6文件 MSC公司: 68甲15 编程语言理论 68甲19 其他编程范式(面向对象、顺序、并发、自动等) 第68季度55 计算理论中的语义学 软件:埃尔朗 PDF格式BibTeX公司 XML格式引用 \textit{N.Nishida}等人,Lect。注释计算。科学。10184,259--274(2017;Zbl 1485.68032) 全文: 内政部 arXiv公司