快速规范 swMATH编号： 19206 软件作者： 克莱森，K.，斯莫尔博恩，N.，休斯，J。 描述： QuickSpec：使用测试猜测正式规范。我们介绍了QuickSpec，这是一个为纯函数集自动生成代数规范的工具。该工具基于测试，而不是静态分析或定理证明。QuickSpec面临的主要挑战是在保持完整性的同时，将生成的方程式数量保持在最小。我们通过探索两个案例研究生成的规律来演示QuickSpec如何提高人们对程序模块的理解：Haskell的堆库和Erlang的定点算术库。 主页： http://rd.springer.com/chapter/10.1007/978-3642-13977-2_3 相关软件： 快速检查;赶时髦的人;HipSpec（髋关节规范）;芝诺牌手表;枣灰蝶属;ACL2型;IsaPlanner公司;伊莎贝尔/HOL;IsaCoSy公司;图形c;Nuprl公司;MATHsAiD公司;牡蛎;蛤;Flyspeck飞点;Daikon公司;哈斯克尔;简化;Refal公司;github 引用于： 5文件 全部的 前5名6位作者引用 3 穆阿·约翰逊 3 尼古拉斯·斯莫尔博内 2 科恩·克莱森 2 丹·罗森 1 马克西米利安·阿尔盖德 1 S.A.格雷查尼克。 2篇连载文章中引用 1 编程和计算机软件 1 函数编程杂志 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文