list | abstracts | bib ]

Sound Compilation of Reals

paper pdf   

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,
  localurl = {http://lara.epfl.ch/~kuncak/papers/DarulovaKuncak14SoundCompilationReals.pdf}
}

list | abstracts | bib ]