¿Cuál es el objetivo principal del Artículo 6 según el texto proporcionado? a) Tratar con la orientación a objetos y mostrar cómo adaptar el esquem...

¿Cuál es el objetivo principal del Artículo 6 según el texto proporcionado?
a) Tratar con la orientación a objetos y mostrar cómo adaptar el esquema para tratar las características de la orientación a objetos.
b) Implementar y evaluar experimentalmente todas las técnicas mencionadas en el contexto de la decompilación interpretativa.
c) Desarrollar una aplicación novedosa del analizador de coste para inferir cotas superiores del consumo del heap de programas secuenciales Java Bytecode.
a) a) Tratar con la orientación a objetos: Mostramos como nuestro esquema se puede adaptar fácilmente para tratar las características de la orientación a objetos. En particular, proponemos mecanismos para: tratar con el heap y con sus instrucciones asociadas, representar clases por medio de módulos Prolog, y representar invocaciones virtuales por medio de llamadas Prolog con calificación de módulo.
b) b) Implementación y evaluación experimental: Todas las técnicas mencionadas han sido implementadas e integradas en un decompilador prototipo de Java Bytecode secuencial a Prolog, llamado jbc2prolog. Presentamos resultados experimentales usando dicho prototipo (utilizando, y contrastando con, otros sistemas). En particular, se han estudiado tanto la escalabilidad como la eficiencia de nuestro enfoque, utilizando el conjunto de “benchmarks” JOlden [55]. El trabajo descrito en los puntos (b), (c), (d), (e) y (f), ha dado lugar al Artículo 6, el cual ha sido recientemente publicado por la revista “Information and Software Technology”. Este Artículo, por tanto, lleva a cabo el objetivo (1) (ver más arriba).
c) c) Aplicaciones de la decompilación interpretativa: Utilizar un lenguaje declarativo para definir las RIs ofrece ventajas importantes. En particular, se pueden reutilizar las potentes y avanzadas herramientas de análisis y transformación de programas existentes en el contexto de la programación declarativa (ya probadas correctas y efectivas) para el análisis y transformación de programas bytecode.