Detecting floating-point errors via atomic conditions.
https://doi.org/10.1145/3371128
@article{DBLP:journals/pacmpl/ZouZXFZS20,
author = {Daming Zou and
Muhan Zeng and
Yingfei Xiong and
Zhoulai Fu and
Lu Zhang and
Zhendong Su},
title = {Detecting floating-point errors via atomic conditions},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {60:1--60:27},
year = {2020},
url = {https://doi.org/10.1145/3371128},
doi = {10.1145/3371128},
timestamp = {Thu, 16 Apr 2020 13:51:49 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ZouZXFZS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签