摘要
本文介绍了函数程序设计语言Lispkit Lisp的一个自编译系统的实现。这个编译系统能够处理高阶函数,并且允许使用部分参数化方法进行程序设计。函数程序中的所有函数被编译成SECD机的指令序列以完成函数的求值。SECD机指令被变换成相应的MC68000的目标代码。系统中采用预调整技术。实现了一种特殊的延迟求值方式:减轻了程序执行对内存空间的需求,并优化了程序的执行过程。
This paper describes an implementation of self-compiling compiler for functional programming lauguage Lispkit Lisp. The compiler can process high order functions and make it possible to use partial parametrization in functional programming. Each function in program is compiled into an instruction sequence for a SECD machine, to carry out the evaluation of the function. In the compiler, a special lazy evaluation has been implemented so that necessity of memory space for execution is decreased and some optimization on execution are made effectively.
出处
《计算机工程与设计》
CSCD
北大核心
1989年第4期13-21,共9页
Computer Engineering and Design
