10.3969/j.issn.1007-130X.2007.10.045
形式推导支持的递归程序向非递归程序的转换
本文提出一种递归消除的方法,适于一类基于递归数据结构的程序.该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法.树和图的两个算法实例说明了本方法的有效性.
算法推导、形式方法、递归程序变换、PAR方法
29
TP311(计算技术、计算机技术)
国家重点基础研究发展计划973计划2003CCA02800;国家自然科学基金60273092;江西省教育厅科研项目2005-90
2007-12-03(万方平台首次上网日期,不代表论文的发表时间)
共4页
145-147,封3