函数程序设计语言Lispkit Lisp的自编译实现

本文介绍了函数程序设计语言Lispkit Lisp的一个自编译系统的实现。这个编译系统能够处理高阶函数,并且允许使用部分参数化方法进行程序设计。函数程序中的所有函数被编译成SECD机的指令序列以完成函数的求值。SECD机指令被变换成相应的MC68000的目标代码。系统中采用预调整技术。实现了一种特殊的延迟求值方式:减轻了程序执行对内存空间的需求,并优化了程序的执行过程。