Sylvie Boldo, Thi Minh Tuyen Nguyen. Proofs of numerical programs when the compiler optimizes. ISSE, 7(2):151-160, 2011. [doi]
@article{BoldoN11,
title = {Proofs of numerical programs when the compiler optimizes},
author = {Sylvie Boldo and Thi Minh Tuyen Nguyen},
year = {2011},
doi = {10.1007/s11334-011-0151-6},
url = {http://dx.doi.org/10.1007/s11334-011-0151-6},
tags = {optimization, compiler, program optimization},
researchr = {https://researchr.org/publication/BoldoN11},
cites = {0},
citedby = {0},
journal = {ISSE},
volume = {7},
number = {2},
pages = {151-160},
}