Number of items: 2.
Article
Casas, Amadeo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. Lecture Notes in Computer Science, 5366 . 651- 666. ISSN 0302-9743
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.
This list was generated on Sat May 26 00:33:37 2012 CEST.
