UTP铝业 swMATH ID: 22067 软件作者: 安德鲁·巴特菲尔德 描述: UTPCalc–UTP谓词的计算器。我们介绍了UTP-Calculator的开发:这是一个用Haskell编写的工具,它通过支持快速执行测试计算的简单方法,支持统一编程理论范式中新理论的快速原型制作。计算器开发过程中的重点是保持其简单而有效,并依赖用户的专业知识来检查其输出。它并不是要取代现有的定理证明器或语言转换技术。该工具是为既熟悉UTP理论构造又熟悉Haskell能够编写模式匹配代码的人设计的。在本文中,我们通过描述计算器的关键组件以及如何对此类理论的各个方面进行编码,描述了如何使用此工具来帮助理论开发。最后,我们讨论了使用该工具的经验。 主页: https://link.springer.com/chapter/10.1007%2F978-3-319-52228-9_10 相关软件: 伊莎贝尔/UTP;PVS公司;Coq公司;电源保护;卡米;存档正式证据;github;马戏团;Verilog公司;ModuRes公司;CompCert公司;HOL公司;伊萨尔;UTP2型;苏氨酸;莫德;哈斯克尔;伊莎贝尔/伊萨尔;伊莎贝尔/HOL;西洋陆军棋 引用于: 2文件 全部的 前5名6位作者引用 1 乔纳森·鲍文(Jonathan P.Bowen)。 1 安德鲁·巴特菲尔德 1 何继峰 1 盛,冯 1 杨宗元 1 朱慧彪 连载1篇 1 计算的形式方面 在1个字段中引用 2 计算机科学(68至XX) 按年份列出的引文