最小生成树算法的PAR方法形式化推导
Formal Derivation of the Minimum Spanning Tree Algorithm with PAR Method作者机构：江西师范大学计算机信息工程学院
出 版 物：《计算机工程》 (Computer Engineering)
年 卷 期：2006年第32卷第21期
页 面：85-87页
核心收录：
学科分类：0810[工学-信息与通信工程] 0808[工学-电气工程] 08[工学] 0839[工学-网络空间安全] 0835[工学-软件工程] 0701[理学-数学] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论]
基 金：国家自然科学基金资助项目"基于PAR方法的算法设计形式化和自动化研究"(60273092)
摘 要：采用PAR方法通过功能归约变换,形式化推导出可读性好、效率高的递推的最小生成树算法,简化了算法程序设计和正确性证明的过程,有效提高了算法程序设计自动化、规范化的程度及其正确性。该文给出的相关算法在PAR平台通过自动转换系统转换成可执行语言程序并运行通过。
维普期刊数据库
同方期刊数据库