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

Transformation of Abstract Algorithmic Program to Implemented Program

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

Algorithmic program is an algorithm described with an implemented of abstract programming language. Developing correct and efficient algorithmic programs is a heart of computer science. A unified approach called partition—and—recur ( PAR method ) is presented. Using this method we can get an abstract algorithm program—Apla program. The program is based on the powerful mathematical induction so it's correctness is assured. Then we can use program transformation techniques to get a final implemented program. So we can improve efficiency and insurance of algorithmic program development greatly.