最小生成树算法的PAR方法形式化推导

• 作者: 孙凌宇 薛锦云
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: PAR方法 形式化推导 归约变换 算法程序
• 年，卷（期）: 2006,（21）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 85-87
• 页数: 3页
• 分类号: TP3
• 字数: 2838字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.21.030

摘要

采用PAR方法通过功能归约变换,形式化推导出可读性好、效率高的递推的最小生成树算法,简化了算法程序设计和正确性证明的过程,有效提高了算法程序设计自动化、规范化的程度及其正确性.该文给出的相关算法在PAR平台通过自动转换系统转换成可执行语言程序并运行通过.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	江西师范大学计算机信息工程学院	77	745	15.0	23.0
2	孙凌宇	江西师范大学计算机信息工程学院	7	50	3.0	7.0