Author:
Albert Elvira,Fernández Jesús Correas,Román-Díez Guillermo
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Lecture Notes in Computer Science;E. Albert,2014
2. Lecture Notes in Computer Science;E. Albert,2007
3. Lecture Notes in Computer Science;E. Albert,2014
4. Lecture Notes in Computer Science;E. Albert,2012
5. Albert, E., Genaim, S., Gómez-Zamalloa, M.: Parametric Inference of Memory Requirements for Garbage Collected Languages. In: ISMM 2010, pp. 121–130 (2010)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automatic Amortized Resource Analysis with Regular Recursive Types;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Automatic amortized resource analysis with the Quantum physicist’s method;Proceedings of the ACM on Programming Languages;2021-08-22
3. Don’t run on fumes—Parametric gas bounds for smart contracts;Journal of Systems and Software;2021-06
4. Raising expectations: automating expected cost analysis with types;Proceedings of the ACM on Programming Languages;2020-08-02
5. Liquid resource types;Proceedings of the ACM on Programming Languages;2020-08-02