【摘 要】
:
为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数
【基金项目】
:
Supported by the National Natural Science Foundation of China under Grant No.60173013 (国家自然科学基金); the Natural Science Foundation of Beijing City of China under Grant No.4982002 (北京市自然科学基金); the Assi
论文部分内容阅读
为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段.
其他文献
代谢组学是一种新的组学研究手段,其使用分析化学的检测方法和生物信息学的统计策略对生物系统(细胞、组织、生命体)中所有小分子代谢产物进行分析,任何生理或病理改变都可由
在本刊今年10月期的“策略”栏目中,我们探讨了一部分软件企业对其产品进行宣传及建设市场推广体系的具体作法。在这一期中,我们将接着上期的话题继续讨论软件企业如何借助“宣传
目的研究2型糖尿病患者胰岛素抵抗与TNF-α、肥胖的关系。方法测定109名2型糖尿病组及86名对照组身高、体重、腰围、腹围、臀围及空腹血清TNF-α、胰岛素、血糖水平,并计算所
哲学方法论是方法论的根本原则,当今代表人类最先进的世界观方法论就是马克思主义。马克思主义世界观方法论是大学生获取科学认识的桥梁、认识复杂社会现象的武器,对大学生的
国有企业是中国特色社会主义国家的支柱,党的十九大报告,对国企改革的时代使命与责任做出明确表述。在十九大报告提出的新时代、新思想、新矛盾、新征程,进一步明确了国企改
很多人对妊娠期用药存在很大的顾虑,甚至有患者因为在妊娠期服用了某种药物而选择终止妊娠。探讨降压药血管紧张素转换酶抑制剂(ACEI)、抗癫痫药(AEDs)、抗抑郁药及宫缩抑制
自动聚焦是全自动显微成像中的关键技术.为了解决在极低内容密度(稀疏内容)情况下传统聚焦方法无法成功找到焦平面的问题,提出一种基于图像内容重要度加权的聚焦函数增强算法
本文提出了将现代信息技术与生物学科整合的三种课堂教学示例。