@entry{dar-kun-maj-sah-13-aa-polev, author = {E Darulova and V Kuncak and R Majumdar...}, title = {Synthesis of fixed-point programs}, journal = {2013 Proceedings of the ...,}, volume = {}, number = {}, pages = {}, year = 2013, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://ieeexplore.ieee.org/abstract/document/6658600/}}}, quotes = {... , we use a static analysis based on affine arithmetic to compute an upper bound on the error. ... limitations in using static analysis based on affine-arithmetic, but our search method works ...} }