成本核算表 swMATH ID: 9877 软件作者： Albert，E.、Arenas，P.、Genaim，S.、Gómez-Zamalloa，M.、Puebla，G。 说明： COSTABS：用于ABS的成本和终止分析器。ABS是一种抽象的行为规范语言，用于建模分布式并发系统。ABS的特征是：（1）它允许从实现细节中进行抽象，同时保持可执行性：使用抽象数据类型之上的函数子语言来指定内部的顺序计算；命令式子语言通过异步方法调用、方法定义中的释放点和方法激活的协同调度提供了灵活的并发和同步机制。本文介绍了一种用于ABS的COSt和终止分析器COSTABS，它能够证明程序的命令段和函数段的终止并获得资源使用边界。COSTABS可以推断的资源包括终止、执行步骤数、内存消耗、异步调用数等。分析界限提供了正式的保证，即程序的执行永远不会超过推断的资源量。该系统可以作为免费软件从其网站下载，该网站还提供示例库和web界面。据我们所知，COSTABS是第一个能够对并发语言执行资源分析的系统。 主页： http://dl.acm.org/citation.cfm？id=2103774 相关软件： 防抱死制动系统;速度;SACO公司;J盒;埃尔朗;轻量级Java;积极主动;SPL征服者;云模拟;iCanCloud公司;PVeStA公司;Uppaal公司;网格模拟;COSTA公司 引用于： 5文件 全部的 前5名被13位作者引用 三 艾尔维拉·阿尔伯特 2 热尔曼普埃布拉 1 阿里纳斯，普里 1 萨米尔·根奈姆 1 米盖尔·戈梅斯·扎马洛亚 1 卢多维奇·亨利奥 1 埃纳尔·布罗赫·约翰森 1 贾斯汀·罗切斯 1 吉列尔莫·罗曼·迪兹 1 鲁道夫·施拉特 1 塔皮娅·塔里法（Tapia Tarifa）、西尔维娅·利泽斯（Silvia Lizeth） 1 卡里娜·维莱拉 1 达米亚诺·扎纳尔迪尼 3篇连载文章中引用 2 程序设计中的逻辑和代数方法杂志 1 计算的形式方面 1 计算机科学中的逻辑方法 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文