| Java字节代码程序的部分计值 |
| |
| 引用本文： | 侯忆铭,孙永强.Java字节代码程序的部分计值[J].上海交通大学学报,2002,36(9):1301-1303. |
| |
| 作者姓名： | 侯忆铭 孙永强 |
| |
| 作者单位： | 上海交通大学,计算机科学与工程系,上海,200030 |
| |
| 基金项目： | 国家自然科学基金 (60 0 73 0 3 3 )，国家高技术研究发展计划 (863 ) (2 0 0 1AA113 160 )资助项目 |
| |
| 摘 要： | 为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。
|
| 关 键 词： | Java字节代码程序 静态语义 Java部分计值器 程序转换 计值规则 语法范畴 |
| 文章编号： | 1006-2467(2002)09-1301-03 |
| 修稿时间： | 2001年9月18日 |
Partial Evaluation of Java Byte Code Program |
| |
| HOU Yi ming,SUN Yong qiang.Partial Evaluation of Java Byte Code Program[J].Journal of Shanghai Jiaotong University,2002,36(9):1301-1303. |
| |
| Authors: | HOU Yi ming SUN Yong qiang |
| |
| Abstract: | In order to construct a Java partial evaluator and formalize its evaluating rules, this paper presented the static semantic of Java bytecode program and then built an online Java partial evaluator. All of these work laid a firm groundwork for the implementation of a practical and complete partial evaluator in the future. |
| |
| Keywords: | Java byte code static semantics partial evaluation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
