Documentos en los que el autor es "Arenas Sánchez, Purificación" (Tipo de Documento)

Subir un nivel
Exportar como [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Agrupar: Tipo de Documento | Sin Agrupar
Número de documentos: 13.

Artículo

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (2010). Certificate size reduction in abstraction-carrying code. "CoRR", v. abs/10 ;

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Genaim, Samir y Puebla Sánchez, Alvaro Germán (2008). Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. "Lecture Notes in Computer Science", v. 5079 ; pp. 221-237. ISSN 0302-9743. https://doi.org/10.1007/978-3-540-69166-2_15.

Monográfico (Informes, Documentos de trabajo, etc.)

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (2005). Reduced certificates for abstraction-carrying code. Monografía (Informe Técnico). Facultad de Informática (UPM) [antigua denominación], Madrid, Spain.

Ponencia en Congreso o Jornada

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Genaim, Samir; Puebla Sánchez, Alvaro Germán y Ramirez Deantes, Diana (2010). From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. En: "SAS'10 17th international conference on Static analysis", 14/09/2010 - 16/09/2010, Perpignan, Francia. ISBN 978-3-642-15768-4.

Hermenegildo, Manuel V.; Bueno Carrillo, Francisco; Puebla Sánchez, Alvaro Germán; Carro Liñares, Manuel; López García, Pedro; Morales, J.; Mera, E.; Navas, J.; Haemmerlé, R.; Méndez-Lojo, Mario; Casas, Amadeo; Correas Fernandez, Jesús; Albert Albiol, Elvira y Arenas Sánchez, Purificación (2010). Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP. En: "Tools for Automatic Program AnalysiS (TAPAS 2010). A SAS 2010 satellite workshop", 17/09/2010 - 17/09/2010, Perpignan, France.

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Genaim, Samir; Gomez Zamalloa, Miguel; Puebla Sánchez, Alvaro Germán; Ramirez Deantes, Diana; Zanardini, Damiano y Roman, Groman (2009). Termination and Cost Analysis with COSTA and its User Interfaces. En: "IX Jornadas sobre Programación y Lenguajes (PROLE '09). IX Spanish Conference on Programming and Languages (PROLE 2009)", 09/09/2009 - 11/09/2009, San Sebastian, España. ISBN ISSN 1571-0661.

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Genaim, Samir y Puebla Sánchez, Alvaro Germán (2009). Comparing Cost Functions in Resource Analysis. En: "First international conference on Foundational and practical aspects of resource analysis, FOPARA'09", 06/11/2009 - 06/11/2009, Eindhoven, Holanda. ISBN 978-3-642-15330-3.

Albert Albiol, Elvira; Alonso, D.; Arenas Sánchez, Purificación; Genaim, Samir y Puebla Sánchez, Alvaro Germán (2009). Asymptotic Resource Usage Bounds. En: "7th Asian Symposium on Programming Languages and Systems, APLAS '09", 14/12/2009 - 16/12/2009, Seoul, Korea. ISBN 978-3-642-10671-2.

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Genaim, Samir y Puebla Sánchez, Alvaro Germán (2009). Field-Sensitive Value Analysis by Field-Insensitive Analysis. En: "2nd World Congress on Formal Methods, FM '09", 02/11/2009 - 06/11/2009, Eindhoven, Paises Bajos. ISBN 978-3-642-05088-6.

Albert Albiol, Elvira; Genaim, Samir; Gomez Zamalloa, Miguel; Arenas Sánchez, Purificación; Puebla Sánchez, Alvaro Germán y Zanardini, Damiano (2009). Upper Bounds on Memory Usage for Garbage-Collected Languages. En: "1st Workshop on Quantitative Analysis of Software, QA'09 (co-located with CAV 2009)", 26/06/2009 - 02/07/2009, Grenoble, France.

Puebla Sánchez, Alvaro Germán; Albert Albiol, Elvira; Arenas Sánchez, Purificación y Hermenegildo, Manuel V. (2006). On abstraction-carrying code and certificate-size reduction. En: "EAAI 2006 1st International Workshop on Emerging Applications of Abstract Interpretation", March 26th, 2006, Vienna, Austria.

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (2006). Generation of reduced certificates in abstraction-carrying code. En: "VI Jornadas Programación y Lenguajes (PROLE'06)", 4 al 6 de octubre, 2006, Sitges, Spain.

Albert Albiol, Elvira; Arenas Sánchez, Purificación; Puebla Sánchez, Alvaro Germán y Hermenegildo, Manuel V. (2006). Reduced certificates for abstraction-carrying code. En: "22nd International Conference, ICLP 2006", August 17-20, 2006, Seattle, WA, USA. ISBN 978-3-540-36635-5.

  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM