论文部分内容阅读
定义了JVML指令序列的程序语义,构造了相关的JVML子集部分计值器并形式化地给出了计值规则,证明了计值规则的正确性,说明了表达式和语句在一定的环境下通过部分/剩余(Partial/Residual)计值和全局(Total)计值的不变性.
类JVML在线部分计值器的正确性证明
【摘 要】
：
定义了JVML指令序列的程序语义,构造了相关的JVML子集部分计值器并形式化地给出了计值规则,证明了计值规则的正确性,说明了表达式和语句在一定的环境下通过部分/剩余(Partial
【机 构】
：
上海交通大学
【出 处】
：
上海交通大学学报
【发表日期】
：
2002年9期
【基金项目】
：
国家自然科学基金，国家高技术研究发展计划(863计划)
其他文献
为了对造船中所用型材变形进行在线检测 ,在高精度划线切割机器人系统中 ,建立了多传感器检测系统 ,引入基于小波变换和虚拟噪声自适应卡尔曼滤波的多分辨率最优多传感器数据融合方法 ,实现了对噪声统计量缺乏先验知识和模型参数不确切的多分辨率多传感器的数据融合 .实验结果表明 ,多传感器数据融合可以有效地实现变形型材的在线检测 ,提高系统的测试精度和可靠性
遗书元数据标准是建立敦煌学数字图书馆的基础性工作 .根据敦煌遗书的特点及敦煌学领域专家的特殊需求 ,参考国际通用的元数据制定规则 ,提出了敦煌学数字图书馆遗书元数据标
<正>随着信息化程度的提高和全球信息化的实现,作为未来人才培养基地的教育系统首先受到巨大的冲击。教育系统受到信息革命的冲击,最突出的是现代信息技术在教育实践中的应用
会议
<正>当娃哈哈的产品和品牌逐渐老化,面对业绩下滑,它开始向多领域跨界操作,但依然反响平平。品牌年轻化,产品创新,以及寻找新的转型方向是娃哈哈亟待破解的题。宗馥莉的创新
期刊
近几年,共享经济无疑是风口中的风口,从Uber到滴滴,从Airbnb到摩拜、OfO。全球排名前20的创业独角兽有七家是共享经济模式。在这样的背景下,共享自习室迎合市场和受众的需求