Java字节代码程序的部分计值  

Partial Evaluation of Java Byte Code Program

作　　者：侯忆铭[1] 孙永强[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《上海交通大学学报》2002年第9期1301-1303,共3页Journal of Shanghai Jiaotong University

基　　金：国家自然科学基金 (60 0 73 0 3 3 );国家高技术研究发展计划 (863 ) (2 0 0 1AA113 160 )资助项目

摘　　要：为了有效地构造一个 Java部分计值器 ,并且形式化地描述计值规则 ,提出了 Java字节代码程序的静态语义 ,在此基础上构造了一个 online的 Java部分计值器 。In order to construct a Java partial evaluator and formalize its evaluating rules, this paper presents the static semantic of Java byte code program and then an online Java partial evaluator was built. All of these work lay a firm groundwork for the implementation of a practical and complete partial evaluator in the future.

关 键 词：Java字节代码程序 静态语义 Java部分计值器 程序转换 计值规则 语法范畴 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]