云南高校图书馆联盟文献共享服务平台- 检索结果

检索结果分析

检索条件："关键词=Java虚拟机语言 "

共条记录，以下是1-1

全选清除导出

视图：

排序：

显示条数：

类JVML在线部分计值器的正确性证明被引量：1: 《上海交通大学学报》2002年第9期1298-1300,共3页李渊洁侯忆铭孙永强; 国家自然科学基金 (60 0 73 0 3 3 );国家高技术研究发展计划 (863 )资助项目 (2 0 0 1AA113 160 ); 定义了 JVML指令序列的程序语义 ,构造了相关的 JVML子集部分计值器并形式化地给出了计值规则 ,证明了计值规则的正确性 ,说明了表达式和语句在一定的环境下通过部分 /剩余( Partial/Residual)计值和全局 ( Total); 关键词：Java虚拟机语言语义函数计值规则剩余计值全局计值 JVML 在线部分计值器正确性证明

全选清除导出

共1页<1>