PAR平台从规约出发的算法推导与自动生成

摘要：

简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序.PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序.这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想.

关键词：PAR方法、PAR平台、规约、形式推导

所属期刊栏目：43

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60273092;国家重点基础研究发展计划973计划2003CCA02800;江西省教学改革课题项目;江西师范大学校科研和教改项目

在线出版日期：2007-03-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：41-42,59