Method for formally developing non-recursive algorithm
一种形式化开发非递归算法的方法

This paper described an easy, unified formal method for developing non-recursive algorithms. Under the direction of PAR the method aimed at non-recursive algorithm directly, which emploied the new strategy of developing loop invariant, and achieved loop invariant of recursive problem with readable, efficient and reliable non-recursive algorithm finally. Also gave an example for describing this method. The paper contributes to develop non-recursive algorithm with formal method and new strategy of developing loop invariant.