In this paper, a gerenal designing method for the patterns of recursive program transformation is presented, and some related examples are given.
本文提出递归程序变换模式的一般设计方法，并以具体示例说明之。
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.
对本文所定义的医疗数据格式和其它医疗数据格式的转换进行研究，设计并实现了数据转换程序。
In this paper a method of proving the correctness of a computer program based on a transformation relation of the loop body is presented.
本文提出了利用循环体转换关系式的程序证明方法。
This paper presents a program development method based on the programming language ADL and a set of its transformation rules.
本文提出了一种以adl语言为基础的程序展开方法。
This paper presents a program development method based on the programming language ADL and a set of its transformation rules.
本文提出了一种以adl语言为基础的程序展开方法。
应用推荐