1. Cost analysis of object-oriented bytecode programs;Albert;Theor. Comput. Sci.,2012
2. ABC: Algebraic bound computation for loops;Blanc,2010
3. Alternating runtime and size complexity analysis of integer programs;Brockschmidt,2014
4. A note on two problems in connexion with graphs;Dijkstra;Numer. Math.,1959
5. Software profiling for hot path prediction: less is more;Duesterwald,2000