归纳证明的规范变换实现

The Implemental Techniques of Specification Transformation for Proof by Induction

本文在归纳证明的规范变换方法的基础上．介绍从一般等式规范到有序类等式规范变换的实现技术．以及在有序类等式规范上的归纳定理的证明技术。

In this paper the authors introduced the implemental techniques of transformation equational specification into order-sorted equational specification, the proof techniques of inductive theorems on the order-sorted equational specification based on specification transformation for proof by induction.