¿Cuáles son los ingredientes necesarios para definir un esquema de decompilación modular?
(i) Dar un tratamiento composicional a las invocaciones...
¿Cuáles son los ingredientes necesarios para definir un esquema de decompilación modular? (i) Dar un tratamiento composicional a las invocaciones a método. (ii) Proporcionar un mecanismo para residualizar las llamadas del programa decompilado (es decir, no desplegarlas y añadirlas sin modificaciones al código residual). (iii) Estudiar las condiciones que aseguran que la decompilación separada de métodos es correcta.
Compartir