Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, Pascal Sainrat. Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. In The Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, Kaohisung, Taiwan, 25-27 August 2008, Proceedings. pages 161-166, IEEE Computer Society, 2008. [doi]
Abstract is missing.