您的位置： 专家智库 > >

陈敏翼

作品数：1 被引量：0H指数：0
供职机构：华南师范大学计算机学院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇代码
  • 1篇形式语义

机构

  • 1篇华南师范大学

作者

  • 1篇王涛
  • 1篇齐军
  • 1篇陈敏翼

传媒

  • 1篇计算机应用

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于Clight形式语义的代码功能描述提取
2012年
软件代码的功能提取是功能集成的最基本前提,但软件功能提取普遍存在正确率低的问题。为此,提出基于Clight形式语义的代码功能描述提取机制,并用Clight代码功能描述算法实现。该机制严格基于Clight自然语义推理规则,忽略代码执行的中间细节,只关注执行前后的存储状态,并以此作为代码的功能描述,提高了功能提取的正确率和关键领域软件开发的成功率。
王涛陈敏翼齐军
关键词：形式语义
全选 清除 导出
共1页<1>
聚类工具0