LISP语言的增量式部分求值器

来源 :软件学报 | 被引量 : 0次 | 上传用户:zoujianjun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
部分求值在软件优化中有着重要的作用,而增量式计算是避免重复计算的一种技术,本文基于部分求值和增量式计算的技术,实现了一个LISP语言的增量式部分求值器,使得函数例化尽量在前次已经产生的剩余程序的基础上进行,从而很好地提高了效率。
其他文献
目的建立简便有效的腹膜间皮细胞体外培养鉴定及TGF-β1、CTGF蛋白含量测定方法。方法胰蛋白酶-EDTANa2消化网膜组织培养腹膜间皮细胞;用形态学、免疫组化鉴定细胞。结果分离
目的总结全肺切除术治疗结核性毁损肺的临床效果。方法回顾分析我院近10年来行全肺切除手术治疗69例结核性毁损肺的临床资料,其中行右全肺切除术29例,左全肺切除术40例。结果
广东省电工技能考核鉴定站是广东省劳动厅设在广东工学院基础部的初、中级电工考核定点单位它成立于1993年1月。考核站设有实操考核室5间,250平方米。每间每次可容纳16人进行
某君平常学习十分刻苦,可周末舞会他是必定要去的。有好事者问起,该君答曰:“爱江山更爱美人!” 二 一日,校门口海报栏上用彩色
招远市技工学校现开设黄金综合采选、井下电钳、电工、车工、化工工艺、烹饪等11个专业,在校学生900人,学校自创办以来,坚持正确的办学方向,紧紧围绕企业需求,不断改革教学体
目的探讨外周血DNA表皮生长因子受体(EGFR)基因第1内含子区CA-SSR多态性与晚期非小细胞肺癌患者吉非替尼临床疗效的相关性。方法采用PCR扩增和序列测定的方法对60例接受过吉非
本文系统地提出一种严格的软件开发方法,它基于逐步精化和重用组合的程序设计思想,将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体,使软件开发中的“创造
目的探讨无创双水平正压通气技术(bi-level positive airway pressure ventilation,Bipap)在慢性阻塞性肺疾病急性加重期(acute exacerbation chronic obtructive pulmonary dis
一、做好人才需求预测 在市场经济体制下,招生资源和劳动力资源的配置都更多地受到市场供求关系的影响,搞好人才需求预测对提高办学效益更具重要意义,职教事业的预测规划工作
目的探讨NF-κB抑制剂吡咯烷二硫代氨基甲酸盐(PDTC)对慢性阻塞性肺病(COPD)各阶段的肺血流动力学及右心室壁厚度影响。方法将48只雄性SD大鼠随机分为八个组,分别纳入实验组及药