类JVML在线部分计值器的正确性证明  

Correctness of Online Partial Evaluation for Part of JVML

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

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

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

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

摘　　要：定义了 JVML指令序列的程序语义 ,构造了相关的 JVML子集部分计值器并形式化地给出了计值规则 ,证明了计值规则的正确性 ,说明了表达式和语句在一定的环境下通过部分 /剩余( Partial/Residual)计值和全局 ( Total)This paper showed the semantics of part of JVML were described. The corresponding definition of the partial evaluation was given and the correctness of the partial evaluator was proved, showing the correctness of the partial evaluation and the invariance of certain properties of the environment under partial/residual and total evaluation.

关 键 词：Java虚拟机语言 语义函数 计值规则 剩余计值 全局计值 JVML 在线部分计值器 正确性证明 

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