您的位置： 专家智库 > >

国家自然科学基金(60473068)

作品数：12 被引量：50H指数：4
相关作者：陈意云张昱黄海军吴年李兆鹏更多>>
相关机构：中国科学技术大学中国科学院软件研究所更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 1个自动化与计算...

主题

  • 1个代码
  • 1个代码迷惑
  • 1个语言设计
  • 1个指针逻辑
  • 1个数据竞争
  • 1个自动机
  • 1个自动生成
  • 1个流图
  • 1个内存
  • 1个内存管理
  • 1个具体化
  • 1个垃圾
  • 1个垃圾收集
  • 1个垃圾收集机制
  • 1个垃圾收集器
  • 1个汇编程序
  • 1个汇编语
  • 1个汇编语言
  • 1个基于语义
  • 1个即时编译器

机构

  • 1个安庆师范学院
  • 1个中国科学院
  • 1个中国科学技术...
  • 1个中国科学院软...
  • 1个安徽省计算与...

作者

  • 1个张昱
  • 1个李兆鹏
  • 1个刘诚
  • 1个王一宾
  • 1个袁丽娜
  • 1个郝允允
  • 1个田波
  • 1个李隆
  • 1个王志芳
  • 1个华保健
  • 1个曹益华
  • 1个陈意云
  • 1个林春晓
  • 1个郭宇
  • 1个高鹰
  • 1个葛琳
  • 1个史成荣
  • 1个孙东海
  • 1个吴晓勇
  • 1个王伟

传媒

  • 1个计算机研究与...
  • 1个计算机学报
  • 1个计算机工程
  • 1个西安交通大学...
  • 1个小型微型计算...
  • 1个计算机工程与...
  • 1个吉林大学学报...
共 1 条 记 录，以下是 1-1
国家自然科学基金(60673126)
软件安全性的验证和编译
相关领域：自动化与计算机技术
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0