肋骨

COSTABS:ABS的成本和终止分析程序。ABS是一种抽象的行为规范语言,用于对分布式并发系统进行建模。ABS的特点是:(1)它允许在保持可执行性的同时从实现细节中抽象:在抽象数据类型上使用功能子语言来指定内部、连续的计算;命令式子语言通过异步方法调用、方法定义中的释放点和方法激活的协同调度,提供了灵活的并发和同步机制。本文介绍了一个用于ABS的成本和终止分析器COSTABS,它能够证明程序的终止性并获得程序的命令片段和功能片段的资源使用边界。COSTABS可以推断的资源包括终止、执行步骤的数量、内存消耗、异步调用的数量等等。分析界限提供了形式上的保证,即程序的执行永远不会超过推断的资源量。该系统可以作为免费软件从其网站上下载,该网站还提供了一个示例库和一个web界面。据我们所知,COSTABS是第一个能够对并发语言进行资源分析的系统。

这个软件也是同行评审按日记帐汤姆斯.

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换