MFS:一个基于重写技术的程序开发系统

杨继锋; 孙永强; 陆朝俊; 邵志清

首页> 中文期刊> 《软件学报》 >MFS:一个基于重写技术的程序开发系统

MFS:一个基于重写技术的程序开发系统

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

cqvip:MFS是一个基于重写技术的程序开发系统．它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言．在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制．语言的类型系统以及在语言和系统中引入的证明和测试机制能够使人们在开发过程中较早地发现问题，提高所开发系统的正确性．在系统的实现中采用的必要平行最外归约策略、图归约、证据测试集等技术能够使所开发的系统具有很高的实现效率．应用这一程序开发系统，能够较快地开发出正确且效率较高的程序．

著录项

来源
《软件学报》 |1999年第8期|806|共1页
作者
杨继锋; 孙永强; 陆朝俊; 邵志清;
展开▼
作者单位

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词

相似文献

中文文献
外文文献
专利

1. 基于重写方法的程序开发系统的设计和实现 [J] . 林凯 ,孙永强 ,陆朝俊 . 计算机学报 . 1996,第009期
2. 基于重写技术的程序开发与验证 [J] . 孙永强 ,陆朝俊 ,邵志清 . 软件学报 . 2000,第008期
3. 一个基于机群系统的面向对象并行程序开发环境的研究与实现 [J] . 陆嘉 ,温冬婵 ,王鼎兴 . 计算机研究与发展 . 1999,第007期
4. 基于MFC环境的CORBA应用程序开发研究 [J] . 陈黎 ,范建华 . 山西电子技术 . 2008,第001期
5. 基于ARX与MFC的AutoCAD2006应用程序开发 [J] . 张英杰 . 机械工程师 . 2007,第009期
6. Para0bject:一个基于可扩展并行机群系统的面向对象并行程序开发环境 [C] . 陆嘉 . '96全国计算机体系结构学术研讨会 . 1996
7. 一个基于ARX/MFC的面向对象桥梁CAD系统——底层机制和构造过程的UML分析 [A] . 翟治年 . 2003

MFS:一个基于重写技术的程序开发系统

摘要

著录项

相似文献

相关主题

期刊订阅