一种形式化开发非递归算法的方法  

Method for formally developing non-recursive algorithm

作　　者：石海鹤[1] 石海鹏[2] 薛锦云[1] 

机构地区：[1]江西师范大学计算机信息工程学院 [2]江西师范大学软件学院,南昌330022

出　　处：《计算机应用研究》2007年第11期203-205,共3页Application Research of Computers

基　　金：国家自然科学基金资助项目(60573080);江西师范大学2006年度青年成长基金资助项目

摘　　要：提出了一种简单、统一的形式化开发非递归算法的方法。该方法直接面向非递归算法,在形式化方法PAR的指导下,使用循环不变式的开发新策略,在得到求解递归问题的循环不变式的同时,能直接得到易读、高效且可靠的非递归算法,并通过一个具体实例进行了阐述。对使用形式化方法及循环不变式开发新策略开发非递归算法的方法作了较深入的实践和探讨。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.

关 键 词：形式化方法 非递归 PAR 循环不变式 可靠性 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]