Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss
G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey
ACM Transactions on Programming Languages and Systems | Association for Computing Machinery | Published : 2015
Related Projects (1)
Awarded by Australian Research Council, under ARC
This work is supported by the Australian Research Council, under ARC grant DP110102579.