@entry{dar-kun-maj-sah-13-aa-polcmp,
  author = {E Darulova and V Kuncak and R Majumdar and I Saha},
  title = {On the Generation of Precise Fixed-Point Expressions},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2013,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  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 ...}
}