|
|||||
|
|
| 项重写系统等价性的归纳证明 | |
| 引用本文： | 冯速.项重写系统等价性的归纳证明[J].计算机科学,2000,27(8):5-7. |
| 作者姓名： | 冯速 |
| 作者单位： | 冯速（(北京师范大学计算机系 北京100875)） |
| 摘 要： | 尽管学者们在计算机软件理论及相关数学理论方面做出了不懈的努力,但伴随着计算机硬件的高速发展而来的软件危机却日益严峻,其原因复杂多样。其中,主要原因之一是缺乏程序验证的方法和工具。程序设计的主要步骤有:描述问题、设计程序、实现程序及测试程序。需要注意的是,这里是测试程序的正确性而非证明程序的正确性,这样程序的正确性就不能从根 |
| 关 键 词： | 项重写系统 等价性 归纳证明 程序设计 |
Equivalemcd Proving of Term Rcwriting Systems by Inducion |
|
| Abstract: | |
| Keywords: | Eqmivalence Induction Term rewriting systems Automated ptoving |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机科学》下载全文 | |