您当前的位置：
首页 >
文章列表页 >
mJava到Micro-Dalvik虚拟机的编译验证
学术论文 | 更新时间：2025-07-16
上一篇|下一篇

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

    • Formal Verification of mJava Compiler Targeting Micro-Dalvik Virtual Machine

    • 江南 ，何炎祥 ，张晓瞳
    • 电子学报 2016年44卷第7期 页码：1619-1629

    • DOI： 10.3969/j.issn.0372-2112.2016.07.015     

      中图分类号：

    移动端阅览

  •  
  •  

  • HTML全文

  • 参考文献

  • 出版信息

  • 数据统计

论文导航
icon
试读结束，您可以激活您的VIP账号继续阅读。
去激活 >
icon
试读结束，您可以通过登录账户，到个人中心，购买VIP会员阅读全文。
已是VIP会员？
去登录 >

197

浏览量

421

下载量

0

CSCD

文章被引用时，请邮件提醒。
提交
工具集
  • BibTeX下载
  • Endnote下载
  • RefMan 下载
  • NoteExpress下载
  • NoteFirst下载

相关文章

基于模拟关系的编译优化实现正确性验证方法
微内核架构内存管理的形式化设计和验证方法研究
面向近海的多基站协作通信感知一体化设计
基于稀疏贝叶斯学习的OTFS系统脉冲噪声抑制方法
基于RSMA的通信导航一体化信号波形设计

相关作者

徐超
何炎祥
吴伟
陈勇
刘健博
钱振江
刘永俊
姚宇峰

相关机构

武汉大学计算机学院
徐州工业职业技术学院
软件工程国家重点实验室
武汉大学计算机学院湖北武汉
徐州工业职业技术学院江苏徐州