• .ps.gz (82 Kb)
• PDF (229 Kb)

\bibitem{ChenEtAl09-SAS}
L.~Chen, A.~Min\'e, J.~Wang, \& P.~Cousot.
\newblock Interval Polyhedra: An Abstract Domain to Infer Interval Linear 
          Relationships.
\newblock In Proc. \emph{16th International Static Analysis Symposium (SAS'09)},
          Madrid, Spain, LNCS 5673, Springer, January 2009, pp.~309--325.

@InProceedings{ChenEtAl09-SAS,
   author =    {L.~Chen and A.~Min\'e and J.~Wang and P.~Cousot},
   title =     {Interval Polyhedra: An Abstract Domain to Infer Interval Linear 
                Relationships},
   editor =    {J.~Palsberg and Z.~Su},
   pages =     {309--325},
   booktitle = {Proceedings of the sixteenth International Static Analysis 
                Symposium (SAS'09)},
   address =   {Los Angeles, CA, USA},
   publisher = {LNCS 5673, Springer, Berlin},
   month =     {January 17--19},
   year =      2009,
}