摘要
定义了 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.
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2002年第9期1298-1300,共3页
Journal of Shanghai Jiaotong University
基金
国家自然科学基金 (60 0 73 0 3 3 )
国家高技术研究发展计划 (863 )资助项目 (2 0 0 1AA113 160 )
