@entry{dar-kun-17-aa-rosa,
  author = {E Darulova and V Kuncak},
  title = {Towards a compiler for reals},
  journal = {ACM Transactions on Programming Languages ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2017,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://dl.acm.org/doi/abs/10.1145/3014426}}},
  quotes = {... The function \uc{03c3} is instantiated with the affine arithmetic-based procedure from Section 5.1. Since roundoff errors are generally small, we found affine arithmetic suitable for this purpose. ...}
}