Number of items: 8.
Presentation at Congress or Day
Albert Albiol, Elvira and Arenas Sánchez, Purificación and Genaim, Samir and Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán and Ramirez Deantes, Diana and Zanardini, Damiano 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.
Albert Albiol, Elvira and Genaim, Samir and Gomez Zamalloa, Miguel (2009) Live Heap Space Analysis for Languages with Garbage Collection. In: 2009 International Symposium on Memory Management, ISMM '09, 19/06/2009 - 20/06/2009, Dublin, Irlanda.
Albert Albiol, Elvira and Genaim, Samir and Gomez Zamalloa, Miguel (2010) Parametric Inference of Memory Requirements for Garbage Collected Languages. In: 2010 international symposiumon Memory management, 05/06/2010 - 06/06/2010, Toronto, Canadá.
Albert Albiol, Elvira and Genaim, Samir and Gomez Zamalloa, Miguel and Arenas Sánchez, Purificación and Puebla Sánchez, Alvaro Germán and Zanardini, Damiano (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.
Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán (2010) PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. In: 2010 ACM SIGPLAN workshop onPartial evaluation and program manipulation, 18/01/2010 - 19/01/2010, Madrid, España.
Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Puebla Sánchez, Alvaro Germán (2008) Test Data Generation of Bytecode by CLP Partial Evaluation. In: 18th International Symposium, LOPSTR 2008, 17/07/2008 - 18/07/2008, Valencia, España.
Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Rojas, Jose Miguel and Puebla Sánchez, Alvaro Germán (2010) Compositional CLP-based Test Data Generation for Imperative Languages. In: 20th international conference on Logic-based program synthesis and transformation LOPSTR'10, 23/07/2010 - 25/07/2010, Hagenberg, Austria.
Albert Albiol, Elvira and Gomez Zamalloa, Miguel and Rojas, Jose Miguel and Puebla Sánchez, Alvaro Germán (2010) Towards Compositional CLP-based Test Data Generation for Imperative Languages. In: 20th international conference on Logic-based program synthesis and transformation LOPSTR'10, 23/07/2010 - 25/07/2010, Hagenberg, Austria.
This list was generated on Fri May 25 15:40:01 2012 CEST.
