TY - THES AU - Gómez-Zamalloa Gil, Miguel A3 - Albert Albiol, Elvira María PY - 2010 SN - 978-84-693-4645-7 UR - https://hdl.handle.net/20.500.14352/47371 AB - Predecir el comportamiento de los programas antes de su ejecuci´on es cada vez mÁs importante, especialmente teniendo en cuenta que ´estos son cada vez más complejos y son utilizados frecuentemente en situaciones críticas,como operaciones médicas,... LA - spa PB - Universidad Complutense de Madrid, Servicio de Publicaciones KW - Lenguajes de programación KW - Lenguajes bytecode KW - Programación lógica KW - Decopilación interpretativa KW - Bytecode Languages KW - Logic programming KW - Interpretive Decompilation TI - Transformación y análisis de código de bytes orientado a objetos M3 - doctoral thesis ER -