Transformation of Abstract Algorithmic Program to Implemented Program
Fang Hu · Computer Knowledge and Technology · 2010
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.