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