Number of items: 3.
Presentation at Congress or Day
Bueno Carrillo, Francisco (2010) A Framework for Verification and Debugging of Resource Usage Properties. In: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, 16/07/2010 - 19/07/2010, Edimburgo, UK.
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.
Thesis
Bueno Carrillo, Francisco (1994) Técnicas de transformación de programas lógicos para su optimización y paralelización automática. Tesis(Doctoral), Computer Faculty (UPM).
This list was generated on Fri May 25 17:02:33 2012 CEST.
