基于活跃变量分析的流图语言的部分求值器

来源 :软件学报 | 被引量 : 0次 | 上传用户:donghao3000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文描述了流图语言的自应用型静态部分求值器,它由活跃变量分析、抽象分析、标记和经4部分组成,在活跃变量分析基础上再作抽象分析,比以往的抽象获得的抽象解释更精确,了更利于产生较高质量的剩余程序,转移压缩在例化中直接进行。
其他文献
股权激励计划成功,公司将能有效解决所有权与经营权分离而产生的委托代理问题;股权激励计划落空,公司将会面临巨大的高管股权纠纷及财务造假风险.如何制定有效的股权激励计划,
白语是具有四千多年历史的活化石,它承载着丰富的白族历史与文化信息。本文从词源进行分类分析,探讨了具有拟声现象的白语词汇所承载的文化信息;从语言拟声现象的角度解读了
目的:采取有效措施,培养学生学习能力,提高生理学教学质量。方法:通过转变教育观念,采取多媒体教学手段、培养学生自学能力及创新意识、重视实验、教学和科研相结合等方法。结
财务管理是企业发展的一个永恒主题,是企业管理的重要组成部分,在实际工作中非常重要。财务管理人员必须更新观念,将原来守财、保值、记账型的财务管理转变为生财、增值、决
结合自然辩证法相关理论,从物与物、人与物、人与人三重向度阐述了2008年北京“绿色奥运、科技奥运、人文奥运”内涵,并举例反思历届奥运会存在的“不和谐”方面,提出了2008年北
生源数量是成人高校的生命线,而"空校危机"以及在校生高流失率已成为成人高校生存和发展中的重大难题。留人成为保证成人高校规模发展的重要手段。本文通过对上海电视大学直属
市场化、信息化是一个现代企业发展的必然趋势,本文结合计算机虚拟制造等新的制造技术的发展趋势,探讨了计算机虚拟制造技术在现代制造业中的应用。
目前的装备虚拟维修训练,总是假设装备是完好的,因此,训练总是按照一定的程序进行,但在实际工作中,除了新装备以外,使用中的设备,总是会出现一些意外情况,尤其是装备的失效,因此,在装备
3-SAT问题有一个非常奇妙的变现象,对于固定的变量数N,合取范式的可满足概率随着子句个数K的变化而发生剧烈的变化,当K≈4.3*N时,可满足概率急剧地从1变从0.相变现象决定了问题的难易分布,对于快速
国家“十二五”规划为我国未来的五年经济发展描绘了宏伟蓝图,中国的公路建设也将迎来新的发展机遇期。高速公路作为道路运输的重要组成部分,对于我国经济发展具有重大促进作用