%0 Journal Article
%T MFS: a Program Development System Based on Rewriting Method<br>MFS:一个基于重写技术的程序开发系统
%A YANG Ji-feng
%A SUN Yong-qiang
%A LU Chao-jun
%A SHAO Zhi-qing
%A <br>杨继锋
%A 孙永强
%A 陆朝俊
%A 邵志清
%J 软件学报
%D 1999
%I 
%X 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.
%K Functional language
%K algebraic specification language
%K mixed language
%K type system
%K test<br>函数式语言
%K 代数规约语言
%K 混合语言
%K 类型系统
%K 测试
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=224C7B02D1F329A29513D79560A0BEFD&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=5D311CA918CA9A03&sid=EDAEFEDAC1DCCBA4&eid=A9C78B2A6AAEEAAD&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=19