De hecho, COSTA decompila también el bytecode a una repre-sentación basada en reglas antes de realizar el análisis propiamente dicho,con el prop...

De hecho, COSTA decompila también el bytecode a una repre-sentación basada en reglas antes de realizar el análisis propiamente dicho,con el propósito de simplificar el diseño (ver [3] para más detalles). Lasrepresentaciones intermedias de COSTA son de hecho muy similares anuestros programas decompilados, con la diferencia fundamental de que,en COSTA, prácticamente, todas las instrucciones de bytecode quedan re-siduales en el código como “builtins”, es decir predicados predefinidos. Porel contrario, en nuestras decompilaciones, las instrucciones de bytecode seinterpretan y evalúan en tiempo de decompilación, y se convierten, en sucaso, a instrucciones básicas de Prolog, como unificaciones y operacionesaritméticas. La razón fundamental por la que decidimos no usar nuestrasdecompilaciones para el análisis de consumo de memoria, es que de esta ma-nera hemos sido capaces de integrar nuestro análisis en el sistema COSTA,aprovechando aśı toda la maquinaŕıa para el análisis de coste incluida en él(por ejemplo, el análisis de tamaños que infiere las relaciones de tamañosentre argumentos, el resolutor de CRs , etc).