Browse by Creator

Article

Cabeza Gras, Daniel and Hermenegildo Salinas, Manuel Vicente (2009) Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information. Theoretical Computer Science, 410 (46). 4704 - 4723. ISSN 0304-3975

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

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Lecture Notes in Computer Science, 5366 . 795- 800. ISSN 0302-9743

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente and Silva, Cláudio and Rocha, Ricardo (2008) An Improved Continuation Call-Based Implementation of Tabling. Lecture Notes in Computer Science, 4902 . 197- 213. ISSN 0302-9743

Marron, Mark and Hermenegildo Salinas, Manuel Vicente and Kapur, Deepak and Stefanovic, Darko (2008) Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. Lecture Notes In Computer Science, 4959 . 245- 259. ISSN 0302-9743

Méndez-Lojo, Mario and Hermenegildo Salinas, Manuel Vicente (2008) Precise Set Sharing Analysis for Java-Style Programs. Lecture Notes in Computer Science, 4905 . 172 - 187. ISSN 0302-9743

Presentation at Congress or Day

Casas Cuadrado, Amadeo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. In: 10th International Symposium on Practical Aspects of Declarative Languages, PADL'08, 07/01/2008-08/01/2008, San Francisco, USA.

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2009) A Tabling Implementation Based on Variables with Multiple Bindings. In: 25th International Conference on Logic Programming, ICLP '09, 14/07/2009 - 17/07/2009, Pasadena, California, EEUU.

Chico de Guzmán, Pablo and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2009) Towards a Complete Scheme for Tabled Execution Based on Program Transformation. In: 11th International Symposium Practical Aspects of Declarative Languages, PADL 2009, 19/01/2009 - 20/01/2009, Savannah, Georgia, EEUU.

Hermenegildo Salinas, Manuel Vicente (2010) An Overview of Ciao and its uses of DataLog for Program Analysis and Optimization. In: 1st International Workshop, Datalog 2.0, 15/03/2010 - 19/03/2010, Oxford, 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.

Marron, Mark and Stefanovic, Darko and Kapur, Deepak and Hermenegildo Salinas, Manuel Vicente (2008) Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. In: 21th international workshop, Languages and compilers for parallel computing, LCPC 2008, 31/07/2008-02/08/2008, Edmonton, Alberta, Canadá.

Méndez-Lojo, Mario and Lhoták, Ondrej and Hermenegildo Salinas, Manuel Vicente (2008) Efficient Set Sharing Using ZBDDs. In: 21th international workshop, Languages and compilers for parallel computing, LCPC 2008, 31/07/2008-02/08/2008, Edmonton, Alberta, Canadá.

Morales Caballero, José Francisco and Carro Liñares, Manuel and Hermenegildo Salinas, Manuel Vicente (2008) Comparing Tag Scheme Variations Using an Abstract Machine Generator. In: 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2008, 15/07/2008-17/07/2008, Valencia, España.

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.

Scandolo, Leonardo and Kunz, Cesar and Hermenegildo Salinas, Manuel Vicente (2010) Program Parallelization using Synchronized Pipelining. In: 19th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2009, 09/09/2009 - 11/09/2009, Coimbra, Portugal.