Sound compilation of reals.

Eva Darulova, Viktor Kuncak

Browse the full POPL paper archive.