Analyzing execution-time of object-oriented programs using abstract interpretation
Jan Gustafsson · 2000
As a result of the industrial deployment of real-time systems, there is an increasing demandfor methods to perform safe and tight calculation of the worst case execution time (WCET) ofprograms. The ...