%0 Journal Article
%T 基于clight形式语义的代码功能描述提取
%A 王涛
%A 陈敏翼
%A 齐军
%J 计算机应用
%D 2012
%X ？软件代码的功能提取是功能集成的最基本前提，但软件功能提取普遍存在正确率低的问题。为此，提出基于clight形式语义的代码功能描述提取机制，并用clight代码功能描述算法实现。该机制严格基于clight自然语义推理规则，忽略代码执行的中间细节，只关注执行前后的存储状态，并以此作为代码的功能描述，提高了功能提取的正确率和关键领域软件开发的成功率。
%K 功能集成
%K 形式语义
%K clight
%K 自然语义
%K 代码功能
%K 描述提取
%U http://www.joca.cn/CN/abstract/abstract15811.shtml