%0 Journal Article
%T 程序变换在程序语言中的一种表示——兼论变换型语言
%A 张乃孝？
%J 软件学报
%P 17-23
%D 1993
%X 本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操作的变换过程;最后,讨论了变换型语言表示的抽象性,一般性和控制的灵活性,以及变换型程序的正确性等问题。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19930504&flag=1