中间语言

作品数：87被引量：167H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：史建琦马金鑫李舟军忽朝俭魏强更多>>
相关机构：华东师范大学微软公司解放军信息工程大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点实验室开放基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与设计x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CIL的C语言类型系统构建研究
《计算机工程与设计》2014年第5期1667-1673,共7页方昭潭 苏亭 李博 经小川 张伟 
国家自然科学基金重点项目(91118007);国防科工局"航天器产品软件安全性评价体系及关键技术研究"基金项目
针对C单元的测试用例自动生成的研究,提出在基于OCAML(object CAML)的CIL(C intermediate language)工具包上的类型系统构建方法。通过工具前端对C单元中代码的类型插桩,对基本数据类型以及每个全局对象、自定义对象进行类型统计,实现...
关键词：测试用例 自动生成 CIL(C语言中间语言) 类型系统 类型插桩 可视化 
GSim:支持GPU加速软件过程仿真框架
《计算机工程与设计》2012年第2期754-759,820,共7页张备 翟健 杨秋松 
国家自然科学基金项目(90718042;60903051;61073044);国家863高技术研究发展计划基金项目(2007AA010303;2007AA01Z186);中国科学院与广东省全面战略合作重大基金项目(2009B091300131);国家973重点基础研究发展计划基金项目(2007CB310802)
为了提高软件过程仿真的效率,提出了一种基于图形处理单元(graphic processing unit,GPU)加速的仿真框架。该框架利用图形化语言和随机参数来描述一个过程模型,将模型转换为RansomSpec字节码从而可以在GPU平台上运行,以期借助GPU平台的...
关键词：软件过程仿真 基于图形处理单元的通用目的计算 计算统一的设备架构 中间语言 
基于IDA的反编译中间语言设计被引量：2
《计算机工程与设计》2009年第20期4734-4737,共4页黄海 蒋烈辉 何红旗 尹青 方霞 
国家863高技术研究发展计划基金项目(2006AA01Z409)
基于IDA的反编译中,首先利用IDA作为反汇编的前端,通过以IDAplug-in编写的连接器来导出IDA的反汇编相关结果信息,然后以导出的信息为基础,进行汇编语言到中间语言的翻译、过程/函数的恢复及数据流和控制流分析等后续反编译过程。阐述了...
关键词：反编译 中间语言 字典 中间语言转化 中间语言表示 
实现Ada的中间语言—Diana语言库的方法
《计算机工程与设计》1989年第2期33-38,共6页房有定 
DIANA是ADA程序的一种中间表示形式,它适用于ADA编译程序中两个主要工具—前端和后端之间的通信,也是ADA环境中各种工具之间的公共数据界面。DIANA的不同应用场合,可以以不同的方法来实现它。在这篇文章中,介绍了一种实现DIANA语言的简...
关键词：ADA语言 编编程序 Diana 语言库 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部