¿Cuáles son los criterios de optimalidad propuestos para asegurar la calidad de la decompilación?

e) Tratando 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.
f) 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).