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

来源 :软件学报 | 被引量 : 0次 | 上传用户:xp968
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
部分求值在软件优化中有着重要的作用,而增量式计算是避免重复计算的一种技术.本文基于部分求值和增量式计算的技术,实现了一个LISP语言的增量武部分求值器,使得函数例化尽量在前次已经产生的剩余程序的基础上进行,从而很好地提高了效率.
其他文献
从组织安排、规划设计、实施方案、监测评价等环节,介绍了建筑工程绿色施工的管理方法,并探讨了施工现场扬尘与噪声的控制措施,旨在改善施工环境,实现绿色施工的管理目标。
<正> 噫吁哦,危乎高哉!蜀道之难,难于上青天!蚕丛及鱼凫,开国何茫然!尔来四万八千岁,不与秦塞通人烟。西当太白有鸟道,可以横绝峨眉巅。地崩山摧壮士死,然后天梯石栈相钩连。
<正>习近平总书记指出,"思想政治工作是国有企业的传家宝。"党政军民学,东西南北中,党是领导一切的。党的领导是我国国有企业最显著的特征,也是最大的优势。党对国有企业的领
目前,对标准Profibus-DP主站的研究仅局限于单纯硬件或软件的设计,未进行系统研究。对此,在对Profibus主站及其工程应用分析的基础上,总结了Profibus现场总线控制系统主站功
为掌握直流接地极对华东某天然气管道杂散电流干扰影响及规律,在与接地极较近的两条管道上安装电位远程监测系统,通过对管道的长时间连续监测,分析出接地极放电频次和干扰时
作为中国历史上中原与西北部少数民族之间的茶马交易形式,“茶马互市”促进了内地和西部地区经济上的交往和繁荣,密切了汉族和各少数民族之间的联系和融合。明清以后,安化黑茶因
本文描述全球变暖问题如何从单纯的CO2增温问题发展为微量气体的温室效应问题。CFCs、CH4、N2O、O3等非CO2气体对温室效应的贡献可以达到CO2的贡献水平。自19世纪中期以来观
基于网络药理学,通过国内外文献检索获取柿果中的化合物,采用Swiss target prediction数据库对化合物进行潜在靶点垂钓以探讨柿果的药理功能定位及作用机制。以Cytoscape软件
目的研究分析喉罩麻醉下病患在麻醉恢复期的护理措施。方法选取2018年3月至2018年8月我院收治的需行麻醉的病患60例,随机将其分为试验组和常规组,每组各30例病患,给予试验组