Number of items: 2.
Presentation at Congress or Day
Hermenegildo Salinas, Manuel Vicente and Bueno Carrillo, Francisco and Puebla Sánchez, Alvaro Germán and Carro Liñares, Manuel and López García, Pedro and Morales, J. and Mera, E. and Navas, J. and Haemmerlé, R. and Mendez, M. and Casas, Amadeo and Correas Fernandez, Jesús and 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.
Pietrzak, Pawel and Correas Fernandez, Jesús and Puebla Sánchez, Alvaro Germán and Hermenegildo Salinas, Manuel Vicente (2008) A Practical Type Analysis for Verification of Modular Prolog Programs. In: ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation , PEPM'08, 07/01/2008-08/01/2008, San Francisco, USA.
This list was generated on Fri May 25 09:25:45 2012 CEST.
