考德 swMATH ID: 39403 软件作者: Lanese,I.、Nishida,N.、Palacios,A.、Vidal,G。 描述: CauDEr:Erlang的因果一致可逆调试器。基于角色模型的编程语言,如Erlang,通过设计避免了一些并发错误。然而,其他并发错误,如消息顺序冲突和活锁,仍然可能出现在程序中。通过使用因果一致的可逆调试(一种允许向前和向后遍历计算的调试技术),可以更容易地检测到这些难以发现的错误。最值得注意的是,因果一致性意味着,当倒退时,一个行动只有在其后果(如果有的话)事先被撤销的情况下才能撤销。据我们所知,我们为Erlang提供了第一个因果一致的可逆调试器,它可以帮助程序员检测和修复各种错误,包括消息顺序违规和活锁。 主页: https://link.springer.com/chapter/10.1007%2F978-3-319-90686-7_16 源代码: https://github.com/mistupv/cauder 依赖项: 埃尔朗 相关软件: 埃尔朗;铲刀;veriSoft软件;github;交易对手;快速检查;生锈;阿克卡;去;屋顶PPC;SyReC公司;LRinv公司;GDB公司;Coq公司;咖喱;水银;特修斯;阿尔戈;Syco公司;J盒 引用于: 22文件 全部的 前5名37位作者引用 5 伊万·拉内斯 5 克劳迪奥·安塔雷斯 5 德国维达尔 三 直纪西田 三 阿德里安·帕拉西奥斯。 三 伊雷克·乌利多夫斯基 2 马可·贝尔纳多 2 詹姆斯·霍伊 2 多里亚娜·梅迪奇 2 伊恩·菲利普斯。 2 萨尔瓦多塔马利特 2 吉田、Nobuko 1 佩特尔·贝雷茨基 1 拉斐尔·E·卡巴列罗。 1 乔瓦尼·法布雷蒂 1 卡洛斯·加林多牧师 1 罗伯特·格莱克 1 González Abril,胡安·何塞 1 伊娃·格拉弗森 1 弗里茨·亨利恩 1 达尼尔·霍帕西 1 池田、高石 1 埃纳尔·布罗赫·约翰森 1 罗宾·卡斯加德 1 莫尼卡卡普斯·科拉尔 1 彼得罗·拉米 1 马丁·马丁,恩里克 1 米克尔·克拉·马西森 1 埃尔南·梅尔格拉蒂 1 阿德里安·里斯科 1 克劳迪奥·萨塞尔多蒂·科恩 1 鲁道夫·施拉特 1 乔塞普·席尔瓦 1 Jean-Bernard斯特凡尼 1 拉斯·特维托 1 横山,铁雄 1 袁,Shoji 全部的 前5名6篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 2 计算机科学中的逻辑方法 1 信息学报 1 理论计算机科学 1 信息与计算 1 计算机基础理论 在4个字段中引用 22 计算机科学(68至XX) 5 量子理论(81-XX) 2 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文