信息网络安全
面向程序可达性验证的数组处理循环压缩方法
许良晨, 孟昭逸, 黄文超, 熊焰
Array Processing Loop Compression Method for Program Reachability Verification
XU Liangchen, MENG Zhaoyi, HUANG Wenchao, XIONG Yan
信息网络安全 . 2024, (3): 374 -384 .  DOI: 10.3969/j.issn.1671-1122.2024.03.004