杨继锋

作品数：4被引量：2H指数：1
导出分析报告
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
发文主题：函数式语言程序开发系统项重写程序设计语言MFS更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机研究与发展》《软件学报》《计算机工程》《上海交通大学学报》更多>>
所获基金：“九五”国家科技攻关计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
MFS:一个基于重写技术的程序开发系统
《软件学报》1999年第8期806-811,共6页杨继锋 孙永强 陆朝俊 邵志清 
国家"九五"科技攻关项目
MFS是一个基于重写技术的程序开发系统．它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言．在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制．语言的类型系统以及在语言和系统中...
关键词：程序开发系统 MFS 重写技术 MFSL语言 
依赖项重写系统及其在程序设计语言中的应用
《计算机研究与发展》1999年第4期434-439,共6页杨继锋 孙永强 
国家"九五"科技攻关项目基金
项重写系统是一种简洁通用的计算模型，在许多领域中有着重要的应用．但是，在一些应用中，它不能很好地解决问题，为此，文中提出了一种新的项重写计算模型——依赖项重写系统，并给出了它在程序设计语言中的应用．直观上说，依赖项重...
关键词：项重写系统 程序设计语言 计算模型 
内含定理证明器的程序开发系统
《上海交通大学学报》1998年第10期42-45,共4页孙永强 杨继锋 陆朝俊 邵志清 
国家九五科技攻关基金
提出了一个基于重写技术的程序开发系统，它提供了扩展的函数式语言和代数规约语言相结合的混合语言，该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给...
关键词：函数式语言 软件工程 程序开发系统 定理证明器 
项重写的图实现被引量：2
《计算机工程》1998年第4期3-6,15,共5页杨继锋 孙永强 
国家九五科技攻关项目
图重写能够有效地实现项重写．文章从项重写的图实现的角度出发，研究了图重写模拟项重写的正确性和完备性；在无环出现的倩况下，图重写对一切项重写正确；在无环出现的条件下，图重写对左线性合流的项重写是完备的．据此，作者又研究...
关键词：项重写 图重写 图实现 函数式语言 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部