Abstracción de Montones de Tiempo de Ejecución para la Comprensión del Programa