摘要: 程序变换是取代传统的一步代码生成技术的新的程序生成技术。本文概述了程序变换的基本思想,阐述了基于变换技术导出程序的程序变换系统的基本结构及其实现方法,最后概要介绍了一些具有代表性的研究成果。
Abstract: Program transformation described is a new method of deriving program. instead of the traditional method which gets code in one leap. The basic structure and implementation of a program transformation system, which is based on transformation to derive program, is proposed. Some representative achievements are cited.
叶云文,张然. 基于变换的程序设计[J]. , 1989, 15(03): 12-20.