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. |
PROLE |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Peña |
An Introduction to Liquid Haskell. |
PROLE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Edelmira Pasarella, Maria-Esther Vidal, Cristina Zoltan |
Comparing MapReduce and Pipeline Implementations for Counting Triangles. |
PROLE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Paqui Lucio |
A Tutorial on Using Dafny to Construct Verified Software. |
PROLE |
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. |
PROLE |
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. |
PROLE |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez |
Restricted Predicates for Hypothetical Datalog. |
PROLE |
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. |
PROLE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Termination of canonical context-sensitive rewriting and productivity of rewrite systems. |
PROLE |
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. |
PROLE |
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. |
PROLE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving. |
PROLE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Daniel Pardo 0002, Alicia Villanueva |
Automatic Inference of Specifications in the K Framework. |
PROLE |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez |
XQOWL: An Extension of XQuery for OWL Querying and Reasoning. |
PROLE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Berzal Galiano, Francisco J. Cortijo, Juan C. Cubero, Luis Quesada 0002 |
The ModelCC Model-Driven Parser Generator. |
PROLE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Julián Alarte, David Insa, Josep Silva, Salvador Tamarit |
Web Template Extraction Based on Hyperlink Analysis. |
PROLE |
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. |
PROLE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrián Riesco 0001, Juan Rodríguez-Hortalá |
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators. |
PROLE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Javier Albors, Marisa Navarro |
SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents. |
PROLE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Damián Adalid, María-del-Mar Gallardo, Laura Titolo |
Modeling Hybrid Systems in the Concurrent Constraint Paradigm. |
PROLE |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez |
Improving the Deductive System DES with Persistence by Using SQL DBMS's. |
PROLE |
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 |
PROLE |
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. |
PROLE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David Insa, Josep Silva |
Implementation of an Optimal Strategy for Algorithmic Debugging. |
PROLE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Puri Arenas, Víctor M. Gulías |
Preface. |
PROLE |
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. |
PROLE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez |
Outer Joins in a Deductive Database System. |
PROLE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Pita, Adrián Riesco 0001 |
A Tool for Testing Data Type Implementations from Maude Algebraic Specifications. |
PROLE |
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. |
PROLE |
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 |
PROLE |
2011 |
DBLP BibTeX RDF |
|
1 | Laura M. Castro, Thomas Arts |
Testing Data Consistency of Data-Intensive Applications Using QuickCheck. |
PROLE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Sáenz-Pérez |
DES: A Deductive Database System. |
PROLE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez |
A Prolog-based Query Language for OWL. |
PROLE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Víctor M. Gulías, Josep Silva Galiana |
Preface. |
PROLE |
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. |
PROLE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Lescaylle, Alicia Villanueva |
The tccp Interpreter. |
PROLE |
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. |
PROLE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén |
To be or not to be ...lazy (In a Parallel Context). |
PROLE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Automatic Proofs of Termination With Elementary Interpretations. |
PROLE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paqui Lucio, Ginés Moreno, Ricardo Peña |
Preface. |
PROLE |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Clerici, Cristina Zoltan, Guillermo Prestigiacomo |
NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation. |
PROLE |
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. |
PROLE |
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. |
PROLE |
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 |
PROLE |
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 |
PROLE |
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. |
PROLE |
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. |
PROLE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mikel Alecha, Montserrat Hermo |
A Learning Algorithm for Deterministic Finite Automata using JFLAP. |
PROLE |
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. |
PROLE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | David Ruiz 0003, Mateu Villaret |
TILC: The Interactive Lambda-Calculus Tracer. |
PROLE |
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. |
PROLE |
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. |
PROLE |
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. |
PROLE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Alarcón, Salvador Lucas |
Using Context-Sensitive Rewriting for Proving Innermost Termination of Rewriting. |
PROLE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Qualified Logic Programming with Bivalued Predicates. |
PROLE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | José Antonio Martín, Ernesto Pimentel 0001 |
Dinapter: Automatic Adapter Specification for Software Composition. |
PROLE |
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. |
PROLE |
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. |
PROLE |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez |
Preface. |
PROLE |
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 |
PROLE |
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. |
PROLE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Javier Álvez, Paqui Lucio |
A New Proposal Of Quasi-Solved Form For Equality Constraint Solving. |
PROLE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro |
Systematic Semantic Tableaux for PLTL. |
PROLE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Narciso Martí-Oliet, José Meseguer 0001, Miguel Palomino |
Algebraic Stuttering Simulations. |
PROLE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Sonia Pérez |
Architectural Connectors for Sequence Diagrams. |
PROLE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández |
Functions and Lazy Evaluation in Prolog. |
PROLE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas, Rafael Navarro-Marset |
Comparing CSP and SAT Solvers for Polynomial Constraints in Termination Provers. |
PROLE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez |
Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations. |
PROLE |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ernesto Pimentel 0001 |
Preface. |
PROLE |
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. |
PROLE |
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 |
PROLE |
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. |
PROLE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Javier de Dios Castro, Francisco Javier López-Fraguas |
Extra Variables Can Be Eliminated from Functional Logic Programs. |
PROLE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ginés Moreno, Vicente Pascual |
Formal Properties of Needed Narrowing with Similarity Relations. |
PROLE |
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. |
PROLE |
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. |
PROLE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Beatriz Alarcón, Raúl Gutiérrez, Salvador Lucas |
Improving the Context-sensitive Dependency Graph. |
PROLE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bertran, Francesc-Xavier Babot, August Climent |
Formal Sequentialization of Distributed Systems via Program Rewriting. |
PROLE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Bernhard Gramlich, Alicia Villanueva |
A Framework for Timed Concurrent Constraint Programming with External Functions. |
PROLE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Pascual Julián, Ginés Moreno, Jaime Penabad |
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. |
PROLE |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paqui Lucio, Fernando Orejas |
Preface. |
PROLE |
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 |
PROLE |
2005 |
DBLP BibTeX RDF |
|
1 | Narciso Martí-Oliet, Miguel Palomino, Alberto Verdejo |
A Tutorial on Specifying Data Structures in Maude. |
PROLE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén |
Dealing Denotationally With Stream-based Communication. |
PROLE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Salvador Lucas |
Preface. |
PROLE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad |
Unfolding-based Improvements on Fuzzy Logic Programs. |
PROLE |
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. |
PROLE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bertran, Francesc-Xavier Babot, August Climent |
An Input/Output Semantics for Distributed Program Equivalence Reasoning. |
PROLE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Isabel Pita, Miguel Palomino |
Proving Modal Properties of Rewrite Theories Using Maude's Metalevel. |
PROLE |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Javier Álvez, Paqui Lucio |
Elimination of Local Variables from Definite Logic Programs. |
PROLE |
2004 |
DBLP DOI BibTeX RDF |
|