Este trabajo presenta un nuevo esquema para la evaluación parcial de programas lógico funcionales siguiendo el esquema conocido como "offline". La principal novedad se basa en el uso de un análisis de cambio de tamaño para ...