Sound Compilation of Reals

Citation

Eva Darulova and Viktor Kuncak. Sound compilation of reals. In ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), 2014.

BibTex Entry

@inproceedings{DarulovaKuncak14SoundCompilationReals,
  author = {Eva Darulova and Viktor Kuncak},
  title = {Sound Compilation of Reals},
  booktitle = {ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)},
  year = 2014
}