|
|||||
|
|
| 依赖项重写系统及其在程序设计语言中的应用 | |
| 引用本文： | 杨继锋,孙永强. 依赖项重写系统及其在程序设计语言中的应用[J]. 计算机研究与发展, 1999, 36(4): 434-439 |
| 作者姓名： | 杨继锋 孙永强 |
| 作者单位： | 上海交通大学计算机科学与工程系,上海,200030 |
| 基金项目： | 国家“九五”科技攻关项目基金 |
| 摘 要： | 面重写系统是一种简洁通用的计算模型，在许多领域中有着重要的应用。 |
| 关 键 词： | 项重写系统 程序设计语言 合流性 终止性 依赖项重写系统 |
A DEPENDENCE TERM REWRITING SYSTEM AND ITS APPLICATIONS IN PROGRAMMING LANGUAGES |
|
| YANG Ji-Feng,SUN Yong-Qiang. A DEPENDENCE TERM REWRITING SYSTEM AND ITS APPLICATIONS IN PROGRAMMING LANGUAGES[J]. Journal of Computer Research and Development, 1999, 36(4): 434-439 | |
| Authors: | YANG Ji-Feng SUN Yong-Qiang |
| Abstract: | |
| Keywords: | term rewriting system programming language confluence termination dependence term rewriting system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |