×

考德

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文件

按年份列出的引文