mJava到Micro-Dalvik虚拟机的编译验证

您当前的位置：

首页 >

文章列表页 >

_mJava到Micro-Dalvik虚拟机的编译验证

学术论文 | 更新时间：2025-07-16

上一篇|下一篇

- _mJava到Micro-Dalvik虚拟机的编译验证
- Formal Verification of _mJava Compiler Targeting Micro-Dalvik Virtual Machine
- 江南，何炎祥，张晓瞳
- 电子学报 2016年44卷第7期页码：1619-1629
- 作者机构：
  1. 武汉大学计算机学院,湖北,武汉,430072
  2. 武汉大学软件工程国家重点实验室,湖北,武汉,430072
  3. 湖北工业大学计算机学院,湖北,武汉,430070
  4. 武汉大学计算机学院,湖北,武汉,430072
  5. 武汉大学软件工程国家重点实验室,湖北,武汉,430072
  6. 湖北工业大学计算机学院,湖北,武汉,430070
- 作者简介：
- 基金信息：
  国家自然科学基金 (No.61373039)
- DOI： 10.3969/j.issn.0372-2112.2016.07.015
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

197

浏览量

422

下载量

0

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

基于模拟关系的编译优化实现正确性验证方法

微内核架构内存管理的形式化设计和验证方法研究

知识增强的区域关联图像解说生成方法

基于概念漂移感知的异常流量检测模型轻量化更新机制

基于非均匀随机相位映射的抗截获通信波形研究

相关作者

徐超

何炎祥

吴伟

陈勇

刘健博

钱振江

刘永俊

姚宇峰

相关机构

武汉大学计算机学院

徐州工业职业技术学院

软件工程国家重点实验室

武汉大学计算机学院湖北武汉

徐州工业职业技术学院江苏徐州