Deriving of Linear Size Relations by Abstract Interpretation.

Kristof Verschaetse Danny De Schreye Deriving of Linear Size Relations by Abstract Interpretation. 296-310 1992 conf/plilp/1992 PLILP db/conf/plilp/plilp92.html#VerschaetseS92 http://dx.doi.org/10.1007/3-540-55844-6_102