%0 Journal Article
%T Method for formally developing non-recursive algorithm<br>一种形式化开发非递归算法的方法
%A SHI Hai-he
%A SHI Hai-peng
%A XUE Jin-yun
%A <br>石海鹤
%A 石海鹏
%A 薛锦云
%J 计算机应用研究
%D 2007
%I 
%X 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.
%K formal method
%K non-recursive
%K PAR
%K loop invariant
%K reliability<br>形式化方法
%K 非递归
%K PAR
%K 循环不变式
%K 可靠性
%K 形式化方法
%K 开发
%K 非递归算法
%K algorithm
%K developing
%K 实践
%K 阐述
%K 递归问题
%K 求解
%K 新策略
%K 循环不变式
%K 使用
%K 指导
%K 统一
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=C793235A4E87B8F6591CEEDE80041E86&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=708DD6B15D2464E8&sid=38685BC770C663F2&eid=EF27C460877D3C9F&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=8