| 形式推导支持的递归程序向非递归程序的转换 |
| |
| 引用本文： | 化志章[,] 揭安全[,] 李云清,薛锦云[,].形式推导支持的递归程序向非递归程序的转换[J].计算机工程与科学,2007,29(10):145-147. |
| |
| 作者姓名： | 化志章[ ] 揭安全[ ] 李云清 薛锦云[ ] |
| |
| 作者单位： | [1]江西师范大学计算机信息工程学院,江西南昌330022 [2]江西省高性能计算技术重点实验室,江西南昌330022 |
| |
| 基金项目： | 国家重点基础研究发展计划(973计划)
,
国家自然科学基金
,
江西省教育厅科研项目 |
| |
| 摘 要： | 本文提出一种递归消除的方法,适于一类基于递归数据结构的程序。该方法将递归程序作为初始规约,以求解过程的状态变迁序列作迭代模式;通过数据展开和变换实现初始规约向基于序列描述规约的变换,继而用PAR形式推导出序列规约的递推关系,并以之为核心近乎机械地构造出非递归算法。树和图的两个算法实例说明了本方法的有效性。
|
| 关 键 词： | 算法推导 形式方法 递归程序变换 PAR方法 |
| 文章编号： | 1007-130X（2007）10-0145-03 |
| 修稿时间： | 2007-03-292007-07-09 |
A Framework for Algorithms' Formal Derivation with Recursive Structures |
| |
| HUA Zhi-zhang,JIE An-quan,LI Yun-qing,XUE Jin-yun.A Framework for Algorithms'''' Formal Derivation with Recursive Structures[J].Computer Engineering & Science,2007,29(10):145-147. |
| |
| Authors: | HUA Zhi-zhang JIE An-quan LI Yun-qing XUE Jin-yun |
| |
| Abstract: | |
| |
| Keywords: | algorithmic derivation formal method recursive structure PAR method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
|
