|
|||||
|
|
| 程序转换中的终止性保持问题 | |
| 引用本文： | 孙永强,陆汝占,黄小戎.程序转换中的终止性保持问题[J].计算机学报,1988(4). |
| 作者姓名： | 孙永强 陆汝占 黄小戎 |
| 作者单位： | 上海交通大学 (孙永强，陆汝占)，上海交通大学(黄小戎) |
| 摘 要： | Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法,但该方法仅保持函数的部分正确性,而可能失去某些值上的终止性.为此,本文提出了函数的“归约测度”和“归约转换”的概念,且证明了只要函数在转换过程中保持“复杂性”在某一归约测度下不增,转换即可保持终止性. |
| 本文献已被 CNKI 等数据库收录！ | |