Program transformation in meta programming environment

我们正在开发一个称为Meta计算环境的系统，在这个系统中，多种计算模型共存，共享包括堆栈和堆在内的公共资源。目前，MC包括两个模型，即基于缩减和基于分辨率的模型。在每个模型上构造了LISP和Prolog语言。我们观察到程序变换在程序推理中起着重要的作用，特别是当我们对程序的元定理感兴趣时。(i)函数程序中程序转换方案的发展及其在LISP程序编译中的应用。LISP编译器连续地转换程序;首先LISP到LISP，然后LISP到分类表达式，最后是抽象机器的代码序列。形式化地描述了转换的过程。(ii)LISP程序类型推理系统的开发。构造了一个类型推理系统的原型实现，它作为生成类型化LISP程序的前端处理器。(iii)Meta编程的方法论。由于Meta计算环境有LISP和Prolog，我们在进行（i）和（ii）中概述的研究时使用了两者的功能。一方面利用模式匹配和回溯技术进行程序转换，另一方面用LISP语言表示控制结构更精细的程序。

We are developing a system called meta computing environment, in which several computation models coexist sharing common resources including stacks and heap. Presently MC comprises two models, namely reduction and resolution based models. LISP and Prolog are constructed on each models. We observe program transformations play an important role in reasoning about programs, especially so when we are interested in meta-theorems of programs.Our results are summarized in the following points. (i) Development of program transformation schemes in functional programs and application of the schemes to compilation of LISP programs. LISP compiler successively transform programs; first LISP-to-LISP, then LISP to categorical expressions and finally code sequences of an abstract machine. The process of the transformations are formally described. (ii) Development of type inference system for LISP programs. Prototype implementation of a type inference system is constructed; it serves as a front end processor which generates typed LISP programs. (iii) Methodologies for meta programming. Since meta computing environment has LISP and Prolog, we used features of the both in performing researches outlined in (i) and (ii). Pattern matching and backtracking are taken advantage of in program transformation on one hand, and on the other hand programs with more refined control structures are expressed in LISP.