InstitucionesPortal Institucional (Dialnet CRIS)Identificadores de autorPeriodo de publicación recogido
|
|
|
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
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
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
La enseñanza de Java en los estudios de Informática
Elvira Albert, Javier Oliver, Germán Vidal Oriola
VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones / coord. por Rosalía Peña Ros, Pedro Antonio Ramos Alonso, Antonio José de Vicente Rodríguez, 2000, ISBN 84-8138-409-7, págs. 557-562
Partial evaluation of multi-paradigm declarative languaces: foundations, control, algorithms and efficiency
Elvira Albert
Tesis doctoral dirigida por Germán Vidal Oriola (dir. tes.), María Alpuente Frasnedo (dir. tes.). Universitat Politècnica de València (2001).
Análisis de recursos de programas enteros y abstractos: Resource analysis of integer and abstract programs
Tesis doctoral dirigida por Elvira Albert (dir. tes.). Universidad Complutense de Madrid (2022).
Análisis estático de sistemas concurrentes y distribuidos: objetos concurrentes y bytecode de Ethereum
Tesis doctoral dirigida por Samir Genaim (dir. tes.), Elvira Albert (dir. tes.). Universidad Complutense de Madrid (2020).
Verification of Concurrent Systems: optimality, Scalability and Applicability
Tesis doctoral dirigida por Miguel Gómez-Zamalloa Gil (dir. tes.), Elvira Albert (dir. tes.). Universidad Complutense de Madrid (2020).
Tesis doctoral dirigida por Elvira Albert (dir. tes.), Miguel Gómez-Zamalloa Gil (dir. tes.). Universidad Politécnica de Madrid (2013).
Advanced Topics in Resource Analysis: Certification, Incrementality, Concurrency and Array-Sensitivity
Guillermo Román Díez
Tesis doctoral dirigida por Alvaro German Puebla Sánchez (dir. tes.), Elvira Albert (dir. tes.). Universidad Politécnica de Madrid (2012).
Transformación y análisis de código de bytes orientado a objetos
Tesis doctoral dirigida por Elvira Albert (dir. tes.). Universidad Complutense de Madrid (2009).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. 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.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados