绑定时间分析论文_廖湖声,童兆丰,王众

导读:本文包含了绑定时间分析论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:绑定,时间,求值,面向对象,语言,程序,程序设计语言。

绑定时间分析论文文献综述

廖湖声,童兆丰,王众^[1]（2003）在《面向对象程序设计语言的绑定时间分析技术》一文中研究指出为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段.(本文来源于《软件学报》期刊2003年03期）

张小飞^[2]（2001）在《Java程序绑定时间分析》一文中研究指出部分求值是一种程序转换技术，它的目的是根据部分输入来例化一个程序。作为程序优化方法的部分求值技术，通过程序变换把一个具有一般计算功能的程序系统变成为一个专用的程序系统，提高了程序的执行效率。部分求值技术中一个关键环节就是绑定时间分析（BTA），BTA的主要目的是在给定的输入条件（已知输入参数的动静态划分）下，把程序结构（变量，表达式，语句，函数）划分为例化时间已知和运行时间已知，也就是根据程序输入变量的动静态划分决定程序中其余变量和表达式的动静态划分，判断哪些表达式可以在部分求值时间求值，哪些在程序运行时求值。绑定时间分析进行的越精确，部分求值的效果就越好，所以说绑定时间分析在很大程度上影响了部分求值的整体效率。本文主要介绍了针对Java语言中的部分语句、表达式和数组类型变量的BTA方面的分析、设计和实现，接着完成了标注程序的生成。最后，通过编写数个有代表性的测试程序例，主要测试了循环、条件语句以及数组变量的BTA结果以及标注程序的生成。(本文来源于《北京工业大学》期刊2001-05-01）

绑定时间分析论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

部分求值是一种程序转换技术，它的目的是根据部分输入来例化一个程序。作为程序优化方法的部分求值技术，通过程序变换把一个具有一般计算功能的程序系统变成为一个专用的程序系统，提高了程序的执行效率。部分求值技术中一个关键环节就是绑定时间分析（BTA），BTA的主要目的是在给定的输入条件（已知输入参数的动静态划分）下，把程序结构（变量，表达式，语句，函数）划分为例化时间已知和运行时间已知，也就是根据程序输入变量的动静态划分决定程序中其余变量和表达式的动静态划分，判断哪些表达式可以在部分求值时间求值，哪些在程序运行时求值。绑定时间分析进行的越精确，部分求值的效果就越好，所以说绑定时间分析在很大程度上影响了部分求值的整体效率。本文主要介绍了针对Java语言中的部分语句、表达式和数组类型变量的BTA方面的分析、设计和实现，接着完成了标注程序的生成。最后，通过编写数个有代表性的测试程序例，主要测试了循环、条件语句以及数组变量的BTA结果以及标注程序的生成。

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。