E. Albert, P. Arenas, S. Genaim, and G. Puebla, Closed-Form Upper Bounds in Static Cost Analysis, Journal of Automated Reasoning, vol.18, issue.9, pp.161-203, 2011.
DOI : 10.1007/s10817-010-9174-1

V. A. Braberman, D. Garbervetsky, S. Hym, and S. Yovine, Summary-based inference of quantitative bounds of live heap objects, Science of Computer Programming, vol.92, pp.56-84, 2014.
DOI : 10.1016/j.scico.2013.11.036
URL : https://hal.archives-ouvertes.fr/hal-01196949

P. Cousot and R. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977.
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/hal-01108790

J. Hoffmann, A. Dash, and S. Weng, Towards automatic resource bound analysis for OCaml, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages , POPL 2017, 2015.
DOI : 10.1145/3009837.3009842
URL : http://arxiv.org/abs/1611.00692

M. Hofmann and S. Jost, Static Prediction of Heap Space Usage for First-order Functional Programs, Proceedings of the 30th Symposium on Principles of Programming Languages, pp.3-185, 2003.

M. Hofmann and S. Jost, Type-Based Amortised Heap-Space Analysis, Proceedings of the 15th European Symposium on Programming, ESOP 06, pp.22-37, 2006.
DOI : 10.1007/3-540-45332-6_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.3212

M. Hofmann and D. Rodriguez, Automatic Type Inference for Amortised Heap-Space Analysis, Proceedings of the 22sn European Symposium on Programming, pp.593-613, 2013.
DOI : 10.1007/978-3-642-37036-6_32

J. Hughes, L. Pareto, and A. Sabry, Proving the correctness of reactive systems using sized types, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.96-410, 1996.
DOI : 10.1145/237721.240882

M. Montenegro, R. Peña, and C. Segura, Foundational and Practical Aspects of Resource Analysis: First International Workshop, pp.34-50, 2009.

R. E. Tarjan, Amortized Computational Complexity, SIAM Journal on Algebraic Discrete Methods, vol.6, issue.2, pp.306-318, 1985.
DOI : 10.1137/0606031

M. Tofte and J. Talpin, Implementation of the typed call-by-value ??-calculus using a stack of regions, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.188-201, 1994.
DOI : 10.1145/174675.177855

P. Vasconcelos, Space Cost Analysis Using Sized Types, 2008.

B. Wegbreit, Mechanical program analysis, Communications of the ACM, vol.18, issue.9, pp.528-539, 1975.
DOI : 10.1145/361002.361016