一种抽象算法程序到可执行程序的转换

摘要：

算法程序是用抽象程序设计语言或可执行的程序设计语言描述的算法.开发正确而有效的算法程序一直是计算机界的核心问题.分划-递推法(PAR方法)是一种统一的算法程序开发方法,采用这种方法开发的算法程序Apla程序是一种抽象算法程序,它的每一步都经过严格的教学推导,因而可以保证算法的正确性,采用程序转换技术将抽象算法程序转换为各种执行程序,可以大幅度提高算法程序的效率和可靠性.

关键词：算法程序、抽象程序设计语言、程序转换

所属期刊栏目：6

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

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

页数：共2页

页码：7413-7414