list | abstracts | bib | DOI ]

Towards a Compiler for Reals

paper pdf   

Citation

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

BibTex Entry

@ARTICLE{DarulovaKuncak17RealsTOPLAS,
  author = {Darulova, Eva and Kuncak, Viktor},
  title = {Towards a Compiler for Reals},
  journal = {ACM Trans. Program. Lang. Syst. (TOPLAS)},
  issue_date = {March 2017},
  volume = {39},
  number = {2},
  month = MAR,
  year = {2017},
  issn = {0164-0925},
  pages = {8:1--8:28},
  articleno = {8},
  numpages = {28},
  doi = {10.1145/3014426},
  publisher = {ACM},
  address = {New York, NY, USA},
  localurl = {http://lara.epfl.ch/~kuncak/papers/DarulovaKuncak17RealsTOPLAS.pdf}
}

list | abstracts | bib | DOI ]