@entry{dar-kun-maj-sah-13-aa,
  author = {E Darulova and V Kuncak and R Majumdar and I Saha},
  title = {On the Generation of Precise Fixed-Point Expressions},
  journal = {},
  year = 2013,
  url = {{\url{https://infoscience.epfl.ch/record/181818}}},
  quotes = {... , we use a static analysis based on affine arithmetic to compute an upper bound on the error. ... tions in using static analysis based on affine-arithmetic, but our search method works with ...}
}