部分计值

作品数：9被引量：6H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙永强黄林鹏王明文毛宏燕侯忆铭更多>>
相关机构：上海交通大学华中科技大学上海大学江西师范大学更多>>
相关期刊：《高技术通讯》《上海交通大学学报》《江西师范大学学报（自然科学版）》《软件学报》更多>>
相关基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=上海交通大学学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
类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 在线部分计值器 正确性证明 
Java字节代码程序的部分计值
《上海交通大学学报》2002年第9期1301-1303,共3页侯忆铭 孙永强 
国家自然科学基金 (60 0 73 0 3 3 );国家高技术研究发展计划 (863 ) (2 0 0 1AA113 160 )资助项目
为了有效地构造一个 Java部分计值器 ,并且形式化地描述计值规则 ,提出了 Java字节代码程序的静态语义 ,在此基础上构造了一个 online的 Java部分计值器 。
关键词：Java字节代码程序 静态语义 Java部分计值器 程序转换 计值规则 语法范畴 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部