Consumo total del heap: En primer lugar, hemos desarrollado una aplicación novedosa del analizador de coste presentado en [3], para inferir cotas superiores del consumo del heap de programas secuenciales Java Bytecode. Para ello, simplemente hemos propuesto un modelo de coste que define el coste de las instrucciones que alojan memoria, en términos de las unidades de heap (memoria) que consumen. Podemos entonces generar relaciones de coste del consumo del heap que pueden ser utilizadas directamente para inferir cotas superiores en el consumo del heap de programas Java Bytecode.

Análisis de consumo del heap activo en lenguajes con GC: En presencia de recolección automática de basura, el enfoque propuesto proporciona estimaciones demasiado pesimistas del consumo real de los programas. Esta tesis presenta un esquema general para inferir el consumo pico del heap durante la ejecución de un programa bytecode, es decir, el máximo uso de memoria activa durante su ejecución, no estando restringido a ninguna clase de complejidad (como pasa con enfoques anteriores).