摘要
本文引入了LISP动态编译系统的理论模型——RC计算模型,其中包括RC机器、RC指令和RC语言.RC语言可以在RC机器上被直接解释,也可以编译后运行.作者给出了RC指令的操作语义,形式化地讨论了RC语言的两种执行方式,证明了两种执行过程是等价的并可以自由切换.基于这个模型,已开发了一种具有动态编译功能的LISP方言DCLISP.
This paper introduces a theoretical model of the dynamical compilation system of LISP——the computational model RC, which consists of RC machine, RC instructions and RC language. On RC machine RC language can be interpreted directly and can run after compiled. The author gives the operational semantics of RC instructions, discusses formally the two execution modes of RC language and proves that they are equivalent and can be switched freely. Based on this model, DCLISP, a dialect of LISP with the function of dynamical compilation has been developed.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1989年第11期31-35,共5页
Journal of Computer Research and Development
基金
中国科学院科学基金资助课题
