期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
RC计算模型及其两种执行方式的等价性
1
作者 宋柔 《计算机研究与发展》 EI CSCD 北大核心 1989年第11期31-35,共5页
本文引入了LISP动态编译系统的理论模型——RC计算模型,其中包括RC机器、RC指令和RC语言.RC语言可以在RC机器上被直接解释,也可以编译后运行.作者给出了RC指令的操作语义,形式化地讨论了RC语言的两种执行方式,证明了两种执行过程是等价... 本文引入了LISP动态编译系统的理论模型——RC计算模型,其中包括RC机器、RC指令和RC语言.RC语言可以在RC机器上被直接解释,也可以编译后运行.作者给出了RC指令的操作语义,形式化地讨论了RC语言的两种执行方式,证明了两种执行过程是等价的并可以自由切换.基于这个模型,已开发了一种具有动态编译功能的LISP方言DCLISP. 展开更多
关键词 rc计算模型 LISP 编译系统
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部