【摘 要】
：
本文引入了LISP动态编译系统的理论模型——RC计算模型,其中包括RC机器、RC指令和RC语言.RC语言可以在RC机器上被直接解释,也可以编译后运行.作者给出了RC指令的操作语义,形
论文部分内容阅读
本文引入了LISP动态编译系统的理论模型——RC计算模型,其中包括RC机器、RC指令和RC语言.RC语言可以在RC机器上被直接解释,也可以编译后运行.作者给出了RC指令的操作语义,形式化地讨论了RC语言的两种执行方式,证明了两种执行过程是等价的并可以自由切换.基于这个模型,已开发了一种具有动态编译功能的LISP方言DCLISP.
其他文献
《黄帝内经》中已有中风先兆症状的描述,称为＂微风＂,其后历代经典均有中风先兆相关名称记载,中络、小中、中风先兆、小中风等。关于中风先兆证的防治,文献中论述颇多,历代医家
女子衰老是由多种因素综合作用的结果，在这一普遍的渐进的生理病理过程中，五脏无先后，尤以肾、脾、肝与女子衰老关系最为密切。其中以肾虚渐亏为女子衰老的根本，脾胃虚弱是促进女
目的：观察镇肝熄风汤治疗缺血性脑卒中阴虚阳亢证型的疗效。方法：将81例患者随机分为治疗组41例,对照组40例。2组分别予镇肝熄风汤加西医结合治疗组和单纯西医组,连用3周。结果
本文讨论软件工程环境中软件工具的集成模型,描述了外部集成和内部集成的概念,给出了一个外部集成和内部集成相结合且基于对象管理系统之上的集成模型,并介绍了这种集成模型
学习自主性既是一种态度又是一种能力。学习自主性与学习动机、学习策略等因素密切相关。应通过指导学习策略、选用合适的教材、创建自主学习中心、利用网络资源等途径来培养
萨克斯演奏作为一种表演艺术,在舞台上的演奏能力对演奏者至关重要,笔者结合自身经验,从音乐共性与萨克斯的特性两方面,详细阐述演奏能力的重要性及提高方法。希望对萨克斯音
目的：观察自拟舒脉汤治疗痰瘀互阻型稳定型心绞痛患者的疗效、安全性及胰岛素抵抗改善情况。方法：将60例痰瘀互阻型稳定型心绞痛患者随机分为治疗组30例、对照组30例。对照组给
本文介绍了一种国际上刚刚流行起来的新的程序开发方法——PAD(Problem Analysis Diagram).它容易掌握,使用方便,用它表达结构化程序比流程图更优越,有利于提高软件生产率.
地方工科院校的持续发展,必须以科学发展观来统领,坚持走转变观念,科学定位,注重内涵,凝聚特色,深化改革,提高质量,加大科技创新和对地方经济发展贡献之路。
目的：观察自拟厌食方结合针刺四缝穴治疗小儿脾虚型厌食症的疗效。方法：将150例脾虚型厌食症患儿简单随机分成治疗组和对照组,2组各75例。治疗组口服自拟厌食方结合针刺四缝穴,