| Radl算法到Apla程序的生成系统 |
| |
| 引用本文： | 谢武平,薛锦云.Radl算法到Apla程序的生成系统[J].计算机研究与发展,2014(4). |
| |
| 作者姓名： | 谢武平 薛锦云 |
| |
| 作者单位： | 软件工程国家重点实验室(武汉大学);江西省高性能计算技术重点实验室(江西师范大学);武汉大学计算机学院; |
| |
| 基金项目： | 国家自然科学基金项目(60573080,60273092);国家自然科学基金重大国际(地区)合作研究项目(61020106009) |
| |
| 摘 要： | 算法设计是一项创造性工作,传统的设计与描述方法难以保证算法的正确性.在PAR方法中通过定义具有数学引用透明性的算法描述语言Radl,可实现对问题规约进行形式化推导得到用递推关系描述的算法.Radl算法的核心就是递推关系组,从而易于进行形式化推导和证明.通过深入剖析Radl算法特性,揭示Radl算法与抽象顺序程序Apla(abstract programming language)间本质关系,定义基于Radl语法产生式的Apla程序生成规则,实现了Apla程序自动生成系统,并对其可靠性进行系统研究,着重形式化验证了实现系统的核心算法.使用PAR方法开发的算法是正确的,采用形式化证明的生成系统具有可靠性保证,从而保证了算法从设计到实现的高可靠性,并通过实现自动化开发工具提高了程序的开发效率.
|
| 关 键 词： | PAR方法 Radl算法 程序生成 算法推导 生成规则 |
| 本文献已被 CNKI 等数据库收录！ |
|
