Parametric inference of memory requirements for garbage collected languages