一个基于两区间八边形约束的抽象域

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

一个基于两区间八边形约束的抽象域

丁泽文1，郭鸿昌2，阚双龙1，张弛1

An abstract domain based on

two-interval octagonal constraints

DING Ze-wen1,GUO Hong-chang2,KAN Shuang-long1,ZHANG Chi1

计算机工程与科学 . 2017, (04): 740 -747 .