Author:
Frohn Florian,Giesl Jürgen
Publisher
Springer International Publishing
Reference25 articles.
1. Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D.: Cost analysis of object-oriented bytecode programs. Theor. Comp. Sci. 413(1), 142–159 (2012)
2. AProVE.
https://aprove-developers.github.io/jbc-complexity/
3. Atkey, R.: Amortised resource analysis with separation logic. Logical Methods Comput. Sci. 7(2) (2011)
4. Lecture Notes in Computer Science;M Avanzini,2016
5. Lecture Notes in Computer Science;M Brockschmidt,2010
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献