Java字节代码程序的部分计值
Partial Evaluation of Java Byte Code Program作者机构：上海交通大学计算机科学与工程系上海200030
出 版 物：《上海交通大学学报》 (Journal of Shanghai Jiaotong University)
年 卷 期：2002年第36卷第9期
页 面：1301-1303页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金 (60 0 73 0 3 3 ) 国家高技术研究发展计划 (863 ) (2 0 0 1AA113 160 )资助项目
主 题：Java字节代码程序 静态语义 Java部分计值器 程序转换 计值规则 语法范畴
摘 要：为了有效地构造一个 Java部分计值器 ,并且形式化地描述计值规则 ,提出了 Java字节代码程序的静态语义 ,在此基础上构造了一个 online的 Java部分计值器 。
维普期刊数据库
同方期刊数据库