Miguel Gómez-Zamalloa Gil

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (2)
• Tesis (1)
• Tesis dirigidas (2)

• Artículos de revistas

  • Seleccionado

    Decompilation of Java bytecode to Prolog by partial evaluation

    Miguel Gómez-Zamalloa Gil, Elvira Albert , Germán Puebla

    Information and software technology, ISSN 0950-5849, Vol. 51, Nº 10, 2009, págs. 1409-1427

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Live heap space analysis for languages with garbage collection

    Samir Genaim , Elvira Albert , Miguel Gómez-Zamalloa Gil

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 75-76

    
  • Seleccionado

    Termination and cost analysis with COSTA and its user interfaces

    Elvira Albert , Puri Arenas, Samir Genaim , Germán Puebla, Damiano Zanardini , Diana Vanessa Ramírez Deantes, Miguel Gómez-Zamalloa Gil, Guillermo Román Díez

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009 / Paqui Lucio (ed. lit.) , Ginés Damián Moreno Valverde (ed. lit.) , Ricardo Peña Marí (ed. lit.) , 2009, ISBN 978-84-692-4600-9, págs. 139-148

    

• Tesis

  • Seleccionado

    Transformación y análisis de código de bytes orientado a objetos

    Miguel Gómez-Zamalloa Gil

    Tesis doctoral dirigida por Elvira Albert (dir. tes.) . Universidad Complutense de Madrid (2009).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    

• Tesis dirigidas

  • Seleccionado

    Verification of Concurrent Systems: optimality, Scalability and Applicability

    Miguel Isabel Márquez

    Tesis doctoral dirigida por Miguel Gómez-Zamalloa Gil (dir. tes.), Elvira Albert (dir. tes.) . Universidad Complutense de Madrid (2020).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Generación de Casos de Prueba en Programación Orientada a Objetos = Test Case Generation in Object-Oriented Programming

    José Miguel Rojas Siles

    Tesis doctoral dirigida por Elvira Albert (dir. tes.) , Miguel Gómez-Zamalloa Gil (dir. tes.). Universidad Politécnica de Madrid (2013).

    • Resumen
    • Tesis en acceso abierto en: Archivo Digital UPM
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.