基于Clight形式语义的代码功能描述提取

基于Clight形式语义的代码功能描述提取

王涛陈敏翼齐军

Functional description extraction of code based on formal semantics of Clight

WANG Tao CHEN Min-yi QI Jun

计算机应用 . 2012, (08): 2333 -2337 . DOI: 10.3724/SP.J.1087.2012.02333