10.3969/j.issn.1000-3428.2006.21.030
最小生成树算法的PAR方法形式化推导
采用PAR方法通过功能归约变换,形式化推导出可读性好、效率高的递推的最小生成树算法,简化了算法程序设计和正确性证明的过程,有效提高了算法程序设计自动化、规范化的程度及其正确性.该文给出的相关算法在PAR平台通过自动转换系统转换成可执行语言程序并运行通过.
PAR方法、形式化推导、归约变换、算法程序
32
TP3(计算技术、计算机技术)
国家自然科学基金60273092
2006-12-18(万方平台首次上网日期,不代表论文的发表时间)
共3页
85-87