Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Alicia Villanueva (eds.) |
Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Peña |
An Introduction to Liquid Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016., pp. 68-80, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan |
Comparing MapReduce and Pipeline Implementations for Counting Triangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016., pp. 20-33, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paqui Lucio |
A Tutorial on Using Dafny to Construct Verified Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016., pp. 1-19, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño |
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016., pp. 52-67, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro |
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016., pp. 34-51, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez |
Restricted Predicates for Hypothetical Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015., pp. 64-79, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marisa Navarro (eds.) |
Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Termination of canonical context-sensitive rewriting and productivity of rewrite systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015., pp. 18-31, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Romero-Hernández, David de Frutos-Escrig, Dario Della Monica |
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015., pp. 48-63, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Escobar 0001 (eds.) |
Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015., pp. 32-47, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Daniel Pardo 0002, Alicia Villanueva |
Automatic Inference of Specifications in the K Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015., pp. 1-17, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez |
XQOWL: An Extension of XQuery for OWL Querying and Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014., pp. 41-55, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Berzal Galiano, Francisco J. Cortijo, Juan C. Cubero, Luis Quesada 0002 |
The ModelCC Model-Driven Parser Generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014., pp. 56-70, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Julián Alarte, David Insa, Josep Silva, Salvador Tamarit |
Web Template Extraction Based on Hyperlink Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014., pp. 16-26, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad, Carlos Vázquez |
A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014., pp. 71-86, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Juan Rodríguez-Hortalá |
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014., pp. 87-99, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Javier Albors, Marisa Navarro |
SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014., pp. 27-40, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Damián Adalid, María-del-Mar Gallardo, Laura Titolo |
Modeling Hybrid Systems in the Concurrent Constraint Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014., pp. 1-15, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez |
Improving the Deductive System DES with Persistence by Using SQL DBMS's. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014., pp. 100-114, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Puri Arenas, Víctor M. Gulías (eds.) |
Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Ana María Fernández-Soriano, Julio Mariño, Ángel Herranz-Nieva |
A Tool for the Integration of Constraint Solving in Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011, pp. 35-45, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Insa, Josep Silva |
Implementation of an Optimal Strategy for Algorithmic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011, pp. 47-60, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Puri Arenas, Víctor M. Gulías |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011, pp. 1-2, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
XPath Query Processing in a Functional-Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011, pp. 19-34, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez |
Outer Joins in a Deductive Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011, pp. 73-88, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Pita, Adrián Riesco 0001 |
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011, pp. 61-71, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno |
Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011, pp. 3-18, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Víctor M. Gulías, Josep Silva Galiana (eds.) |
Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Laura M. Castro, Thomas Arts |
Testing Data Consistency of Data-Intensive Applications Using QuickCheck. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010, pp. 41-62, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez |
DES: A Deductive Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010, pp. 63-78, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez |
A Prolog-based Query Language for OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010, pp. 3-22, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Víctor M. Gulías, Josep Silva Galiana |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010, pp. 1-2, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Castro 0005, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas |
A Case Study on Verifying a Supervisor Component Using McErlang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010, pp. 23-40, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Lescaylle, Alicia Villanueva |
The tccp Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009, pp. 63-77, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Santiago, Carolyn L. Talcott, Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001 |
A Graphical User Interface for Maude-NPA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009, pp. 3-20, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén |
To be or not to be ...lazy (In a Parallel Context). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009, pp. 21-39, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Automatic Proofs of Termination With Elementary Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009, pp. 41-61, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paqui Lucio, Ginés Moreno, Ricardo Peña |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009, pp. 1-2, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo |
NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009, pp. 93-107, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sonia Estévez Martín, Antonio José Fernández Leiva, Fernando Sáenz-Pérez |
TOY: A System for Experimenting with Cooperation of Constraint Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009, pp. 79-91, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, German Puebla, Diana V. Ramírez-Deantes, Guillermo Román-Díez, Damiano Zanardini |
Termination and Cost Analysis with COSTA and its User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009, pp. 109-121, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paqui Lucio, Ginés Moreno, Ricardo Peña (eds.) |
Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez (eds.) |
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo |
A Coding Rule Conformance Checker Integrated into GCC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 149-159, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero |
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 131-147, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mikel Alecha, Montserrat Hermo |
A Learning Algorithm for Deterministic Finite Automata using JFLAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 47-56, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001 |
Methods for Proving Termination of Rewriting-based Programming Languages by Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 93-113, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Ruiz 0003, Mateu Villaret |
TILC: The Interactive Lambda-Calculus Tracer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 173-183, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Francisco Gutiérrez |
Web Services and Interoperability for the Maude Termination Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 83-92, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001, Pedro Ojeda, Daniel Romero 0001 |
A Tool for Automated Certification of Java Source Code in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 19-29, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pascual Julián Iranzo, Jesús Medina 0001, Ginés Moreno, Manuel Ojeda-Aciego |
Thresholded Tabulation in a Fuzzy Logic Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 115-130, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Alarcón, Salvador Lucas |
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 3-17, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Qualified Logic Programming with Bivalued Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 67-82, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | José Antonio Martín, Ernesto Pimentel 0001 |
Dinapter: Automatic Adapter Specification for Software Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 161-171, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla |
Cost Relation Systems: A Language-Independent Target Language for Cost Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 31-46, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva |
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 57-66, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 1-2, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Pimentel 0001 (eds.) |
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
1 | Pedro Pablo Pérez Velasco, Juan de Lara |
Using Matrix Graph Grammars for the Analysis of Behavioural Specifications: Sequential and Parallel Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 133-152, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Javier Álvez, Paqui Lucio |
A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 23-40, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro |
Systematic Semantic Tableaux for PLTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 59-73, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Narciso Martí-Oliet, José Meseguer 0001, Miguel Palomino |
Algebraic Stuttering Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 91-110, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Sonia Pérez |
Architectural Connectors for Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 111-131, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
Functions and Lazy Evaluation in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 153-174, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas, Rafael Navarro-Marset |
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 75-90, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 41-58, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Pimentel 0001 |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 1-2, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel 0001, Alicia Villanueva |
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007, pp. 3-21, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paqui Lucio, Fernando Orejas (eds.) |
Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Sonia Estévez Martín, Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda |
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006, pp. 37-51, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Javier de Dios Castro, Francisco Javier López-Fraguas |
Extra Variables Can Be Eliminated from Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006, pp. 3-19, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ginés Moreno, Vicente Pascual |
Formal Properties of Needed Narrowing with Similarity Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006, pp. 21-35, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Alarcón, Raúl Gutiérrez, José Iborra, Salvador Lucas |
Proving Termination of Context-Sensitive Rewriting with MU-TERM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006, pp. 105-115, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Javier López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
Equivalence of Two Formal Semantics for Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006, pp. 117-142, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas |
Improving the Context-sensitive Dependency Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006, pp. 91-103, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bertran, Francesc-Xavier Babot, August Climent |
Formal Sequentialization of Distributed Systems via Program Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006, pp. 53-75, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Bernhard Gramlich, Alicia Villanueva |
A Framework for Timed Concurrent Constraint Programming with External Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006, pp. 143-155, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pascual Julián, Ginés Moreno, Jaime Penabad |
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006, pp. 77-90, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paqui Lucio, Fernando Orejas |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006, pp. 1-2, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas (eds.) |
Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo |
A Tutorial on Specifying Data Structures in Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004, pp. 105-132, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén |
Dealing Denotationally With Stream-based Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004, pp. 47-68, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004, pp. 1-3, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad |
Unfolding-based Improvements on Fuzzy Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004, pp. 69-103, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig |
Tagged Systems: A Framework for the Specification of History-dependent Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004, pp. 151-174, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bertran, Francesc-Xavier Babot, August Climent |
An Input/Output Semantics for Distributed Program Equivalence Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004, pp. 25-46, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Pita, Miguel Palomino |
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004, pp. 133-150, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Javier Álvez, Paqui Lucio |
Elimination of Local Variables from Definite Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004, pp. 5-24, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|