一种基于PAR的高可靠算法程序设计技术

摘要：

基于形式化方法PAR，提出了一种高可靠算法程序设计技术，并采用范畴论形式化了相关的概念和定义．该技术通过重用一类问题的算法规约，算法程序的形式化推导和正确性证明来快速设计出正确的问题求解算法程序，使得算法程序的设计效率和可靠性得到提高．通过实例说明了使用这一技术进行算法程序设计的过程。

关键词： 高可靠算法 形式化方法PAR 程序设计技术

作者: 石海鹤 薛锦云

作者单位: 中国科学院软件研究所计算机科学国家重点实验室 北京 100190 江西师范大学省高性能计算技术重点实验室 南昌 330022 中国科学院研究生院 北京 100049 中国科学院软件研究所计算机科学国家重点实验室 北京 100190 江西师范大学省高性能计算技术重点实验室 南昌 330022

会议类型: 国内会议

会议名称: 第六届中国测试学术会议

会议地点: 合肥

会议语种:中文

页码: 433-437

在线出版日期: 2010-07-24（万方平台首次上网日期，不代表论文的发表时间）