PKU
数学学院  主  页  科  研  教  学  生  活




主页

科研

论著列表

论文简介

程序变换过程的分析与设计

作者:张乃孝
原载:计算机学报,Vol.17.No.6.p473-476,1994.6

摘要:本文讨论了用变换型语言描述的程序变换过程,重点分析了这一过程中的 模式匹配问题, 引入属性相容匹配的概念,并在此基础上,给出了实现变换过 程的几种算法框架。

关键词: 程序变换 变换型语言 模式匹配 属性相容

下载:[txt]
论文著作的详细列表