×

Erlang的可逆语义。 (英语) Zbl 1485.68032号

Hermenegildo,Manuel V.(编辑)等人,基于逻辑的程序合成和转换。2016年9月6日至8日在英国爱丁堡举行的2016年LOPSTR第26届国际研讨会。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10184, 259-274 (2017).
摘要:在可逆语言中,任何正向计算都可以通过有限的反向步骤序列来撤消。可逆计算已经在不同编程语言和形式的上下文中进行了研究,它被用于调试和增强容错等。在本文中,我们考虑了Erlang的子集,Erlang是一种基于参与者模型的并发语言,并形式化地引入了一种用于可逆计算的语义。据我们所知,这是首次尝试为Erlang定义可逆语义。
关于整个系列,请参见[Zbl 1369.68025号].

MSC公司:

68甲15 编程语言理论
68甲19 其他编程范式(面向对象、顺序、并发、自动等)
第68季度55 计算理论中的语义学

软件:

埃尔朗
PDF格式BibTeX公司 XML格式引用