Floating-Point Program Analysis Based on Floating-Point Powerset of Intervals Abstract Domain
JIANG Jiahong, CHEN Liqian, WANG Ji
Journal of Frontiers of Computer Science and Technology . 2013, (3): 209 -217 .  DOI: 10.3778/j.issn.1673-9418.1209023

京ICP备13024263号-1
Copyright © Journal of Frontiers of Computer Science and Technology
Powered by Beijing Magtech Co., Ltd.
Total visitors:
Visitors of today:
Now online: