Funder
UBACYT
CONICET
ANPCYT
MINCYT-BMWF
INRIA Associated Team ANCOME
LIA INFINIS
European Union Seventh Framework Programme
Reference40 articles.
1. Costa: Design and implementation of a cost and termination analyzer for Java bytecode;Albert,2007
2. Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Live heap space analysis for languages with garbage collection, in: [31], pp. 129–138, ISBN 978-1-60558-347-1.
3. Parametric inference of memory requirements for garbage collected languages;Albert,2010
4. Closed-form upper bounds in static cost analysis;Albert;J. Autom. Reason.,2011
5. Incremental resource usage analysis;Albert,2012
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Locating vulnerabilities in binaries via memory layout recovering;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12
2. Memory Consumption Analysis for a Functional and Imperative Language;Electronic Notes in Theoretical Computer Science;2016-12
3. Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs;Theoretical Aspects of Computing – ICTAC 2016;2016