形式推导支持的递归程序向非递归程序的转换

• 作者: 化志章 揭安全 李云清 薛锦云
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 算法推导 形式方法 递归程序变换 PAR方法
• 年，卷（期）: 2007,（10）
• 所属期刊栏目: 研究与实现
• 页码范围: 145-147,封3
• 页数: 4页
• 分类号: TP311
• 字数: 4066字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2007.10.045

摘要

本文提出一种递归消除的方法,适于一类基于递归数据结构的程序.该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法.树和图的两个算法实例说明了本方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	江西师范大学计算机信息工程学院	8	47	5.0	6.0
3	李云清	江西师范大学计算机信息工程学院	18	152	8.0	11.0
6	揭安全	江西师范大学计算机信息工程学院	29	147	7.0	10.0
8	化志章	江西师范大学计算机信息工程学院	11	78	6.0	8.0