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

您当前的位置：

首页 >

文章列表页 >

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

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

上一篇|下一篇

- 基于模拟关系的编译优化实现正确性验证方法
- Verifying Implementation Correctness of Compiling Optimization Based on Simulation Relation
- 徐超，何炎祥，吴伟，陈勇，刘健博
- 电子学报 2012年40卷第11期页码：2171-2176
- 作者机构：
  1. 武汉大学计算机学院,湖北,武汉,430072
  2. 徐州工业职业技术学院,江苏,徐州,221000
  3. 软件工程国家重点实验室,湖北,武汉,430072
  4. 武汉大学计算机学院湖北武汉,430072
  5. 徐州工业职业技术学院江苏徐州,221000
  6. 软件工程国家重点实验室湖北武汉,430072
- 作者简介：
- 基金信息：
  国家自然科学基金重点项目 (No.91118003);国家自然科学基金面上项目 (No.61170022)
- DOI： 10.3969/j.issn.0372-2112.2012.11.005
  中图分类号：
- 稿件说明：
移动端阅览
DOI：
DOI：

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

摘要

Abstract

关键词

Keywords

references

22

浏览量

1635

下载量

2

CSCD

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

提交

工具集

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

关联资源

相关文章

正确性保证的私有过程建模方法

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

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

基于DD域LFM脉冲信号嵌入的OTFS通感一体化波形设计

基于稀疏贝叶斯学习的OTFS系统脉冲噪声抑制方法

相关作者

莫启

笪建

代飞

朱锐

林雷蕾

李彤

江南

何炎祥

相关机构

西南林业大学大数据与智能工程学院

淮安开放大学信息工程系

云南省软件工程重点实验室

云南大学软件学院

西南林业大学大数据与智能工程学院