主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
杨继锋,孙永强,陆朝俊,邵志清.MFS:一个基于重写技术的程序开发系统.软件学报,1999,10(8):806-811
MFS:一个基于重写技术的程序开发系统
MFS: a Program Development System Based on Rewriting Method
投稿时间:1998-06-02  修订日期:1998-09-02
DOI:
中文关键词:  函数式语言  代数规约语言  混合语言  类型系统  测试
英文关键词:Functional language  algebraic specification language  mixed language  type system  test
基金项目:本文研究得到国家“九五”科技攻关项目基金资助.
作者单位
杨继锋 上海交通大学计算机科学与工程系,上海,200030 
孙永强 上海交通大学计算机科学与工程系,上海,200030 
陆朝俊 上海交通大学计算机科学与工程系,上海,200030 
邵志清 华东理工大学计算机科学与工程系,上海,200237 
摘要点击次数: 2750
全文下载次数: 2383
中文摘要:
      MFS是一个基于重写技术的程序开发系统.它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言.在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制.语言的类型系统以及在语言和系统中引入的证明和测试机制能够使人们在开发过程中较早地发现问题,提高所开发系统的正确性.在系统的实现中采用的必要平行最外归约策略、图归约、证据测试集等技术能够使所开发的系统具有很高的实现效率.应用这一程序开发系统,能够较快地开发出正确且效率较高的程序.
英文摘要:
      MFS is a program development system based on rewriting techniques. The language provided by MFS, which called MFSL, is a mixed language that combines enhanced functional language and algebraic speci-fication language. Optimal rules in MFSL can improve efficiency and satisfy specific requirements. Both the type system in MFSL and the mechanism of proving and testing in MFS can help the programmers to find problems early and can improve the correctness of program. The efficiency of the implementation of the system developed by MFS is high due to the techniques used by MFS such as needed parallel outermost reduction strategy,graph reduction and witnessed test set approach.Higher efficiency and correnctness of program can be developed by MFS in a shorter period.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利