依赖项重写系统及其在程序设计语言中的应用

• 作者: 孙永强 杨继锋
• 来源期刊: 计算机研究与发展
• 学科: 工学
• 关键词: 项重写系统 程序设计语言 合流性 终止性 依赖项重写系统
• 年，卷（期）: 1999,（4）
• 所属期刊栏目: 软件技术
• 页码范围: 434-439
• 页数: 6页
• 分类号: TP312
• 字数: 5726字
• 语种: 中文

摘要

项重写系统是一种简洁通用的计算模型,在许多领域中有着重要的应用.但是,在一些应用中,它不能很好地解决问题,为此,文中提出了一种新的项重写计算模型--依赖项重写系统,并给出了它在程序设计语言中的应用.直观上说,依赖项重写系统是重写规则之间存在着关于函数符号的依赖关系的项重写系统.这一模型具有较好的性质(例如,合流性、终止性等)和很强的表达能力.应用它,能够解决某些计算不终止问题,并有利于并行性的开发.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙永强	上海交通大学计算机科学与工程系	72	373	10.0	15.0
2	杨继锋	上海交通大学计算机科学与工程系	2	2	1.0	1.0