基于命题演算的高级控制结构恢复

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于命题演算的高级控制结构恢复

张靖博, 赵荣彩, 庞建民, 付文

High-level Control Structure Recovery Based on Propositional Calculus

ZHANG Jing-Bo, DIAO Rong-Cai, LONG Jian-Min, FU Wen

计算机工程 . 2010, (16): 4 -6 . DOI: 10.3969/j.issn.1000-3428.2010.16.002