论文部分内容阅读
提出了一个基于重写技术的开发系统，它提供了扩展的函数语言和代数规约语言相结合的混合语言，该语言中引入了优化规则和测试等式说明机制，优化规则用于优化代码和满足某些特殊需求，运用测试等式说明机制可使程序在程序中给出一些用于测试的等式，对程序进行测试，这些测试是在被工发系统形成前进行的，对优化规则和测试等式的证明，是由系统中的证明子系统（定理证明器）完成的，定理证明器的引入，提高所开发系统的正确性，并且