Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation.

Marianne De Michiel Armelle Bonenfant Hugues Cassé Pascal Sainrat Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. 161-166 2008 RTCSA http://dx.doi.org/10.1109/RTCSA.2008.53 conf/rtcsa/2008 db/conf/rtcsa/rtcsa2008.html#MichielBCS08