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