作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

›› 1989, Vol. 15 ›› Issue (03): 12-20.

• 论文 • 上一篇    下一篇

基于变换的程序设计

叶云文,张然   

  1. 复旦大学,复旦大学
  • 发布日期:1989-06-25

TRANSFORMATION-BASEP PROGRAMMING

  • Published:1989-06-25

摘要: 程序变换是取代传统的一步代码生成技术的新的程序生成技术。本文概述了程序变换的基本思想,阐述了基于变换技术导出程序的程序变换系统的基本结构及其实现方法,最后概要介绍了一些具有代表性的研究成果。

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.