%0 Journal Article
%T A Technology of Binding Time Analysis for Object-Oriented Programming Languages<br>面向对象程序设计语言的绑定时间分析技术
%A LIAO Hu-Sheng
%A TONG Zhao-Feng
%A WANG Zhong
%A <br>廖湖声
%A 童兆丰
%A 王众
%J 软件学报
%D 2003
%I 
%X A technology of binding time analysis for implementing partial evaluation of object-oriented programming languages is proposed in this paper. By tracing context-sensitivity of reference variables and pointer variables, the new approach can deal with elements of partly static data structure, such as attributes of each object and elements of each array. The new approach uses a two-level BTA environment to hold BTA states for static variables and local variables. The objects created at different program points are represented by a kind of specific handle. The BTA state of a reference variable is represented by a set of such handles. The algorithm of a forward analysis and backward analysis are presented. They are used to annotate source program, with BTA environment to trace binding time of various kind of variables including identifier of array, object and reference. The binding time analysis has been implemented for Java. It is able to analyse most single thread Java programs and support partial evaluation for Java with higher performance.
%K binding time analysis
%K partial evaluation
%K object-oriented programming language
%K Java language<br>绑定时间分析
%K 部分求值
%K 面向对象程序设计语言
%K Java语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=32FCFE207C5571FD&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=38B194292C032A66&sid=BFB86B6ED3A99B9D&eid=65C08888CCE4801E&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=5