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

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

MFS: a Program Development System Based on Rewriting Method

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.