Radl算法到Apla程序的生成系统

作     者：谢武平 薛锦云 Xie Wuping;Xue Jinyun

作者机构：软件工程国家重点实验室(武汉大学)武汉430072 江西省高性能计算技术重点实验室(江西师范大学)南昌330022 武汉大学计算机学院武汉430072 

基　　金：国家自然科学基金项目(60573080 60273092) 国家自然科学基金重大国际(地区)合作研究项目(61020106009) 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2014年第51卷第4期

页      码：856-864页

摘      要：算法设计是一项创造性工作,传统的设计与描述方法难以保证算法的正确性.在PAR方法中通过定义具有数学引用透明性的算法描述语言Radl,可实现对问题规约进行形式化推导得到用递推关系描述的算法.Radl算法的核心就是递推关系组,从而易于进行形式化推导和证明.通过深入剖析Radl算法特性,揭示Radl算法与抽象顺序程序Apla(abstract programming language)间本质关系,定义基于Radl语法产生式的Apla程序生成规则,实现了Apla程序自动生成系统,并对其可靠性进行系统研究,着重形式化验证了实现系统的核心算法.使用PAR方法开发的算法是正确的,采用形式化证明的生成系统具有可靠性保证,从而保证了算法从设计到实现的高可靠性,并通过实现自动化开发工具提高了程序的开发效率.

主 题 词：PAR方法 Radl算法 程序生成 算法推导 生成规则 

学科分类：0810[工学-土木类] 0808[工学-自动化类] 0839[0839] 08[工学] 0835[0835] 0811[工学-水利类] 0812[工学-测绘类] 081202[081202] 

核心收录：

D　O　I：10.7544/issn1000-1239.2014.20121058

馆 藏 号：203111963...