In this paper, a gerenal designing method for the patterns of recursive program transformation is presented, and some related examples are given.

本文提出递归程序变换模式的一般设计方法，并以具体示例说明之。

youdao

Research the transformation method between well-defined medical data format in the thesis with other medical data format, then design and implement the data transformation program.

对本文所定义的医疗数据格式和其它医疗数据格式的转换进行研究，设计并实现了数据转换程序。

youdao

In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.

本文提出了利用循环体转换关系式的程序证明方法。

youdao