Author:
Brockschmidt Marc,Emmes Fabian,Falke Stephan,Fuhs Carsten,Giesl Jürgen
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. http://aprove.informatik.rwth-aachen.de/eval/IntegerComplexity/
2. Lecture Notes in Computer Science;E. Albert,2008
3. Albert, E., Arenas, P., Genaim, S., Puebla, G.: Closed-form upper bounds in static cost analysis. JAR 46(2), 161–203 (2011)
4. Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D.: Cost analysis of object-oriented bytecode programs. TCS 413(1), 142–159 (2012)
5. Albert, E., Bubel, R., Genaim, S., Hähnle, R., Puebla, G., Román-Díez, G.: Verified resource guarantees using COSTA and KeY. In: Khoo, S.-C., Siek, J.G. (eds.) PEPM 2011, pp. 73–76. ACM Press (2011)
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献