Author:
Albert Elvira,Genaim Samir,Gómez-Zamalloa Miguel,Johnsen Einar Broch,Schlatte Rudolf,Tarifa S. Lizeth Tapia
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Albert, E., Arenas, P., Genaim, S., Puebla, G.: Closed-Form Upper Bounds in Static Cost Analysis. Journal of Automated Reasoning 42(6), 161–203 (2011)
2. Lecture Notes in Computer Science;E. Albert,2007
3. Albert, E., Arenas, P., Genaim, S., Zanardini, D.: Task-Level Analysis for a Language with Async-Finish parallelism. In: LCTES. ACM Press, New York (2011)
4. Albert, E., Genaim, S., Gómez-Zamalloa, M.: Parametric Inference of Memory Requirements for Garbage Collected Languages. In: ISMM. ACM Press, New York (2010)
5. Albert, E., Genaim, S., Gómez-Zamalloa, M., Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Simulating concurrent behaviors with worst-case cost bounds. Research Report 403, Dept. of Informatics, Univ. of Oslo (January 2011), http://einarj.at.ifi.uio.no/Papers/rr403.pdf
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献