![](/img/cover-not-exists.png)
[IEEE 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Kaohsiung, Taiwan (2008.08.25-2008.08.27)] 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation
Michiel, Marianne de, Bonenfant, Armelle, Cassé, Hugues, Sainrat, PascalYear:
2008
Language:
english
DOI:
10.1109/rtcsa.2008.53
File:
PDF, 204 KB
english, 2008