@entry{gou-put-09-aa, author = {E Goubault and S Putot}, title = {A zonotopic framework for functional abstractions}, journal = {arXiv preprint arXiv:0910.1763,}, volume = {}, number = {}, pages = {}, year = 2009, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://arxiv.org/abs/0910.1763}}}, quotes = {... We present in this paper an abstract domain based on affine arithmetic [4] to bound the values of variables in numerical programs, with a real number semantics. Affine arithmetic can be ...} }