@article{gou-gal-put-12-aa-zonjoin,
  author = {Eric Goubault and Tristan {Le Gall} and Sylvie Putot},
  title = {An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations},
  journal = {Electronic Notes in Theoretical Computer Science},
  note = {Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2012},
  volume = {287},
  pages = {65-76},
  year = 2012,
  issn = {1571-0661},
  doi = {10.1016/j.entcs.2012.09.007},
  url = {https://www.sciencedirect.com/science/article/pii/S157106611200059X},
  comment = {Important - join of affine domains},
  abstract = {Zonotopes are a convenient abstract domain for the precise analysis of programs with numerical variables. Compared to the domain of convex polyhedra, it is less expensive and may easily handle non-linear assignments. However, the classical join operator of this abstract domain does not always preserve linear invariants, unlike the convex hull. We present a global join operator that preserves some affine relations. We end up by showing some experiments conducted on the constrained Taylor1+ domain of Apron.}
}