Items where author is "Arenas Sánchez, Purificación"

Article

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2010). Certificate size reduction in abstraction-carrying code. "CoRR", v. abs/10 ;

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir and 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.

Monograph

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Puebla Sánchez, Alvaro Germán and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2005). Reduced certificates for abstraction-carrying code. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, Spain.

Presentation at Congress or Conference

Albert Albiol, Elvira, Arenas Sánchez, Purificación, Genaim, Samir, Puebla Sánchez, Alvaro Germán and Ramirez Deantes, Diana (2010). From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis. In: "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. ORCID: https://orcid.org/0000-0002-7583-323X, Bueno Carrillo, Francisco ORCID: https://orcid.org/0000-0002-5460-5537, Puebla Sánchez, Alvaro Germán, Carro Liñares, Manuel ORCID: https://orcid.org/0000-0001-5199-3135, 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 and Arenas Sánchez, Purificación (2010). Static Analysis-based Debugging, Certification, Testing, and Optimization with CiaoPP. In: "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 ORCID: https://orcid.org/0000-0002-4202-3484 and Roman, Groman (2009). Termination and Cost Analysis with COSTA and its User Interfaces. In: "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 and Puebla Sánchez, Alvaro Germán (2009). Comparing Cost Functions in Resource Analysis. In: "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 and Puebla Sánchez, Alvaro Germán (2009). Asymptotic Resource Usage Bounds. In: "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 and Puebla Sánchez, Alvaro Germán (2009). Field-Sensitive Value Analysis by Field-Insensitive Analysis. In: "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 and Zanardini, Damiano ORCID: https://orcid.org/0000-0002-4202-3484 (2009). Upper Bounds on Memory Usage for Garbage-Collected Languages. In: "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 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2006). On abstraction-carrying code and certificate-size reduction. In: "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 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2006). Generation of reduced certificates in abstraction-carrying code. In: "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 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X (2006). Reduced certificates for abstraction-carrying code. In: "22nd International Conference, ICLP 2006", August 17-20, 2006, Seattle, WA, USA. ISBN 978-3-540-36635-5.