基于浮点区间幂集抽象域的浮点程序分析

姜加红，陈立前，王戟

Floating-Point Program Analysis Based on Floating-Point Powerset of Intervals Abstract Domain

JIANG Jiahong, CHEN Liqian, WANG Ji

计算机科学与探索 . 2013, (3): 209 -217 . DOI: 10.3778/j.issn.1673-9418.1209023