Eva Darulova and Viktor Kuncak. Towards a compiler for reals. ACM Trans. Program. Lang. Syst. (TOPLAS), 39(2):8:1--8:28, March 2017.

[ bib | DOI ] Back