Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/prole:"
download as .bib file
@proceedings{DBLP:journals/corr/Villanueva17,
editor = {Alicia Villanueva},
title = {Proceedings {XVI} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2016, Salamanca, Spain, 14-16th September 2016},
series = {{EPTCS}},
volume = {237},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.237},
doi = {10.4204/EPTCS.237},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Villanueva17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Lucio17,
author = {Paqui Lucio},
editor = {Alicia Villanueva},
title = {A Tutorial on Using Dafny to Construct Verified Software},
booktitle = {Proceedings {XVI} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2016, Salamanca, Spain, 14-16th September 2016},
series = {{EPTCS}},
volume = {237},
pages = {1--19},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.237.1},
doi = {10.4204/EPTCS.237.1},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lucio17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/PasarellaVZ17,
author = {Edelmira Pasarella and
Maria{-}Esther Vidal and
Cristina Zoltan},
editor = {Alicia Villanueva},
title = {Comparing MapReduce and Pipeline Implementations for Counting Triangles},
booktitle = {Proceedings {XVI} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2016, Salamanca, Spain, 14-16th September 2016},
series = {{EPTCS}},
volume = {237},
pages = {20--33},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.237.2},
doi = {10.4204/EPTCS.237.2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PasarellaVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Pena17,
author = {Ricardo Pe{\~{n}}a},
editor = {Alicia Villanueva},
title = {An Introduction to Liquid Haskell},
booktitle = {Proceedings {XVI} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2016, Salamanca, Spain, 14-16th September 2016},
series = {{EPTCS}},
volume = {237},
pages = {68--80},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.237.5},
doi = {10.4204/EPTCS.237.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Pena17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/TamaritMVC17,
author = {Salvador Tamarit and
Julio Mari{\~{n}}o and
Guillermo Vigueras and
Manuel Carro},
editor = {Alicia Villanueva},
title = {Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous
Systems},
booktitle = {Proceedings {XVI} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2016, Salamanca, Spain, 14-16th September 2016},
series = {{EPTCS}},
volume = {237},
pages = {34--51},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.237.3},
doi = {10.4204/EPTCS.237.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TamaritMVC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ViguerasCTM17,
author = {Guillermo Vigueras and
Manuel Carro and
Salvador Tamarit and
Julio Mari{\~{n}}o},
editor = {Alicia Villanueva},
title = {Towards Automatic Learning of Heuristics for Mechanical Transformations
of Procedural Code},
booktitle = {Proceedings {XVI} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2016, Salamanca, Spain, 14-16th September 2016},
series = {{EPTCS}},
volume = {237},
pages = {52--67},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.237.4},
doi = {10.4204/EPTCS.237.4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ViguerasCTM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlpuentePV15,
author = {Mar{\'{\i}}a Alpuente and
Daniel Pardo and
Alicia Villanueva},
editor = {Marisa Navarro},
title = {Automatic Inference of Specifications in the {K} Framework},
booktitle = {Proceedings {XV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2015, Santander, Spain, 15-17th September 2015},
series = {{EPTCS}},
volume = {200},
pages = {1--17},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.200.1},
doi = {10.4204/EPTCS.200.1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AlpuentePV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Lucas15,
author = {Salvador Lucas},
editor = {Marisa Navarro},
title = {Termination of canonical context-sensitive rewriting and productivity
of rewrite systems},
booktitle = {Proceedings {XV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2015, Santander, Spain, 15-17th September 2015},
series = {{EPTCS}},
volume = {200},
pages = {18--31},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.200.2},
doi = {10.4204/EPTCS.200.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lucas15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Lucas15a,
author = {Salvador Lucas},
editor = {Marisa Navarro},
title = {Synthesis of models for order-sorted first-order theories using linear
algebra and constraint solving},
booktitle = {Proceedings {XV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2015, Santander, Spain, 15-17th September 2015},
series = {{EPTCS}},
volume = {200},
pages = {32--47},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.200.3},
doi = {10.4204/EPTCS.200.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lucas15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Romero-Hernandez15,
author = {David Romero{-}Hern{\'{a}}ndez and
David de Frutos{-}Escrig and
Dario Della Monica},
editor = {Marisa Navarro},
title = {Proving Continuity of Coinductive Global Bisimulation Distances: {A}
Never Ending Story},
booktitle = {Proceedings {XV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2015, Santander, Spain, 15-17th September 2015},
series = {{EPTCS}},
volume = {200},
pages = {48--63},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.200.4},
doi = {10.4204/EPTCS.200.4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Romero-Hernandez15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Saenz-Perez15a,
author = {Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Marisa Navarro},
title = {Restricted Predicates for Hypothetical Datalog},
booktitle = {Proceedings {XV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2015, Santander, Spain, 15-17th September 2015},
series = {{EPTCS}},
volume = {200},
pages = {64--79},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.200.5},
doi = {10.4204/EPTCS.200.5},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Saenz-Perez15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/Escobar15,
editor = {Santiago Escobar},
title = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.173},
doi = {10.4204/EPTCS.173},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Escobar15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/Navarro15,
editor = {Marisa Navarro},
title = {Proceedings {XV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2015, Santander, Spain, 15-17th September 2015},
series = {{EPTCS}},
volume = {200},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.200},
doi = {10.4204/EPTCS.200},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Navarro15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AdalidGT15,
author = {Dami{\'{a}}n Adalid and
Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Laura Titolo},
editor = {Santiago Escobar},
title = {Modeling Hybrid Systems in the Concurrent Constraint Paradigm},
booktitle = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
pages = {1--15},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.173.1},
doi = {10.4204/EPTCS.173.1},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/AdalidGT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlarteIST15,
author = {Juli{\'{a}}n Alarte and
David Insa and
Josep Silva and
Salvador Tamarit},
editor = {Santiago Escobar},
title = {Web Template Extraction Based on Hyperlink Analysis},
booktitle = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
pages = {16--26},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.173.2},
doi = {10.4204/EPTCS.173.2},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlarteIST15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AlborsN15,
author = {Javier Albors and
Marisa Navarro},
editor = {Santiago Escobar},
title = {SpecSatisfiabilityTool: {A} tool for testing the satisfiability of
specifications on {XML} documents},
booktitle = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
pages = {27--40},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.173.3},
doi = {10.4204/EPTCS.173.3},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlborsN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Almendros-Jimenez15,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
editor = {Santiago Escobar},
title = {{XQOWL:} An Extension of XQuery for {OWL} Querying and Reasoning},
booktitle = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
pages = {41--55},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.173.4},
doi = {10.4204/EPTCS.173.4},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Almendros-Jimenez15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GalianoCC015,
author = {Fernando Berzal Galiano and
Francisco J. Cortijo and
Juan C. Cubero and
Luis Quesada},
editor = {Santiago Escobar},
title = {The ModelCC Model-Driven Parser Generator},
booktitle = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
pages = {56--70},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.173.5},
doi = {10.4204/EPTCS.173.5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GalianoCC015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/IranzoMPV15,
author = {Pascual Juli{\'{a}}n Iranzo and
Gin{\'{e}}s Moreno and
Jaime Penabad and
Carlos V{\'{a}}zquez},
editor = {Santiago Escobar},
title = {A Fuzzy Logic Programming Environment for Managing Similarity and
Truth Degrees},
booktitle = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
pages = {71--86},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.173.6},
doi = {10.4204/EPTCS.173.6},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/IranzoMPV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/RiescoR15,
author = {Adri{\'{a}}n Riesco and
Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}}},
editor = {Santiago Escobar},
title = {Lifting Term Rewriting Derivations in Constructor Systems by Using
Generators},
booktitle = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
pages = {87--99},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.173.7},
doi = {10.4204/EPTCS.173.7},
timestamp = {Thu, 29 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RiescoR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Saenz-Perez15,
author = {Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Santiago Escobar},
title = {Improving the Deductive System {DES} with Persistence by Using {SQL}
DBMS's},
booktitle = {Proceedings {XIV} Jornadas sobre Programaci{\'{o}}n y Lenguajes,
{PROLE} 2014, Cadiz, Spain, September 16-19, 2014},
series = {{EPTCS}},
volume = {173},
pages = {100--114},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.173.8},
doi = {10.4204/EPTCS.173.8},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Saenz-Perez15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2011,
editor = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
title = {Proceedings of the {XI} Spanish Conference on Programming and Languages,
{PROLE} 2011, {A} Coru{\~{n}}a, Spain, September 5-7, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {282},
publisher = {Elsevier},
year = {2012},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/282/suppl/C},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prole/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Almendros-JimenezCGS12,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Rafael Caballero and
Yolanda Garc{\'{\i}}a{-}Ruiz and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
title = {XPath Query Processing in a Functional-Logic Language},
booktitle = {Proceedings of the {XI} Spanish Conference on Programming and Languages,
{PROLE} 2011, {A} Coru{\~{n}}a, Spain, September 5-7, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {282},
pages = {19--34},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.12.003},
doi = {10.1016/J.ENTCS.2011.12.003},
timestamp = {Fri, 25 Nov 2022 14:12:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Almendros-JimenezCGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Almendros-JimenezLM12,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Alejandro Luna and
Gin{\'{e}}s Moreno},
editor = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
title = {Fuzzy Logic Programming for Implementing a Flexible XPath-based Query
Language},
booktitle = {Proceedings of the {XI} Spanish Conference on Programming and Languages,
{PROLE} 2011, {A} Coru{\~{n}}a, Spain, September 5-7, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {282},
pages = {3--18},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.12.002},
doi = {10.1016/J.ENTCS.2011.12.002},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Almendros-JimenezLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ArenasG12,
author = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
editor = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
title = {Preface},
booktitle = {Proceedings of the {XI} Spanish Conference on Programming and Languages,
{PROLE} 2011, {A} Coru{\~{n}}a, Spain, September 5-7, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {282},
pages = {1--2},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.12.001},
doi = {10.1016/J.ENTCS.2011.12.001},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ArenasG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Fernandez-SorianoMH12,
author = {Ana Mar{\'{\i}}a Fern{\'{a}}ndez{-}Soriano and
Julio Mari{\~{n}}o and
{\'{A}}ngel Herranz{-}Nieva},
editor = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
title = {A Tool for the Integration of Constraint Solving in Spreadsheets},
booktitle = {Proceedings of the {XI} Spanish Conference on Programming and Languages,
{PROLE} 2011, {A} Coru{\~{n}}a, Spain, September 5-7, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {282},
pages = {35--45},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.12.004},
doi = {10.1016/J.ENTCS.2011.12.004},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Fernandez-SorianoMH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/InsaS12,
author = {David Insa and
Josep Silva},
editor = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
title = {Implementation of an Optimal Strategy for Algorithmic Debugging},
booktitle = {Proceedings of the {XI} Spanish Conference on Programming and Languages,
{PROLE} 2011, {A} Coru{\~{n}}a, Spain, September 5-7, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {282},
pages = {47--60},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.12.005},
doi = {10.1016/J.ENTCS.2011.12.005},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/InsaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PitaR12,
author = {Isabel Pita and
Adri{\'{a}}n Riesco},
editor = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
title = {A Tool for Testing Data Type Implementations from Maude Algebraic
Specifications},
booktitle = {Proceedings of the {XI} Spanish Conference on Programming and Languages,
{PROLE} 2011, {A} Coru{\~{n}}a, Spain, September 5-7, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {282},
pages = {61--71},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.12.006},
doi = {10.1016/J.ENTCS.2011.12.006},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PitaR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Saenz-Perez12,
author = {Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Puri Arenas and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
title = {Outer Joins in a Deductive Database System},
booktitle = {Proceedings of the {XI} Spanish Conference on Programming and Languages,
{PROLE} 2011, {A} Coru{\~{n}}a, Spain, September 5-7, 2011},
series = {Electronic Notes in Theoretical Computer Science},
volume = {282},
pages = {73--88},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.entcs.2011.12.007},
doi = {10.1016/J.ENTCS.2011.12.007},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Saenz-Perez12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2010,
editor = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
title = {Proceedings of the Tenth Spanish Conference on Programming and Languages,
{PROLE} 2010, Valencia, Spain, September 8-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {271},
publisher = {Elsevier},
year = {2011},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/271/suppl/C},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prole/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Almendros-Jimenez11,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
editor = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
title = {A Prolog-based Query Language for {OWL}},
booktitle = {Proceedings of the Tenth Spanish Conference on Programming and Languages,
{PROLE} 2010, Valencia, Spain, September 8-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {271},
pages = {3--22},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.02.008},
doi = {10.1016/J.ENTCS.2011.02.008},
timestamp = {Fri, 10 Mar 2023 14:34:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Almendros-Jimenez11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastroA11,
author = {Laura M. Castro and
Thomas Arts},
editor = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
title = {Testing Data Consistency of Data-Intensive Applications Using QuickCheck},
booktitle = {Proceedings of the Tenth Spanish Conference on Programming and Languages,
{PROLE} 2010, Valencia, Spain, September 8-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {271},
pages = {41--62},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.02.010},
doi = {10.1016/J.ENTCS.2011.02.010},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CastroA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastroGEFR11,
author = {David Castro and
V{\'{\i}}ctor M. Gul{\'{\i}}as and
Clara Benac Earle and
Lars{-}{\AA}ke Fredlund and
Samuel Rivas},
editor = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
title = {A Case Study on Verifying a Supervisor Component Using McErlang},
booktitle = {Proceedings of the Tenth Spanish Conference on Programming and Languages,
{PROLE} 2010, Valencia, Spain, September 8-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {271},
pages = {23--40},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.02.009},
doi = {10.1016/J.ENTCS.2011.02.009},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CastroGEFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GuliasG11,
author = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
editor = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
title = {Preface},
booktitle = {Proceedings of the Tenth Spanish Conference on Programming and Languages,
{PROLE} 2010, Valencia, Spain, September 8-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {271},
pages = {1--2},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.02.007},
doi = {10.1016/J.ENTCS.2011.02.007},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GuliasG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Saenz-Perez11,
author = {Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {V{\'{\i}}ctor M. Gul{\'{\i}}as and
Josep Silva Galiana},
title = {{DES:} {A} Deductive Database System},
booktitle = {Proceedings of the Tenth Spanish Conference on Programming and Languages,
{PROLE} 2010, Valencia, Spain, September 8-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {271},
pages = {63--78},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.02.011},
doi = {10.1016/J.ENTCS.2011.02.011},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Saenz-Perez11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertAGGPRRZ09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
German Puebla and
Diana V. Ram{\'{\i}}rez{-}Deantes and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
Damiano Zanardini},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {Termination and Cost Analysis with {COSTA} and its User Interfaces},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {109--121},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.008},
doi = {10.1016/J.ENTCS.2009.12.008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertAGGPRRZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ClericiZP09,
author = {Silvia Clerici and
Cristina Zoltan and
Guillermo Prestigiacomo},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {NiMoToons: a Totally Graphic Workbench for Program Tuning and Experimentation},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {93--107},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.007},
doi = {10.1016/J.ENTCS.2009.12.007},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ClericiZP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hidalgo-HerreroO09,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {To be or not to be ...lazy (In a Parallel Context)},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {21--39},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.003},
doi = {10.1016/J.ENTCS.2009.12.003},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hidalgo-HerreroO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LescaylleV09a,
author = {Alexei Lescaylle and
Alicia Villanueva},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {The tccp Interpreter},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {63--77},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.005},
doi = {10.1016/J.ENTCS.2009.12.005},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LescaylleV09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lucas09,
author = {Salvador Lucas},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {Automatic Proofs of Termination With Elementary Interpretations},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {41--61},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.004},
doi = {10.1016/J.ENTCS.2009.12.004},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lucas09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucioMP09,
author = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {Preface},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.001},
doi = {10.1016/J.ENTCS.2009.12.001},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LucioMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinLS09,
author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
Antonio Jos{\'{e}} Fern{\'{a}}ndez Leiva and
Fernando S{\'{a}}enz{-}P{\'{e}}rez},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {{TOY:} {A} System for Experimenting with Cooperation of Constraint
Domains},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {79--91},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.006},
doi = {10.1016/J.ENTCS.2009.12.006},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SantiagoTEMM09,
author = {Sonia Santiago and
Carolyn L. Talcott and
Santiago Escobar and
Catherine Meadows and
Jos{\'{e}} Meseguer},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {A Graphical User Interface for Maude-NPA},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {3--20},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.002},
doi = {10.1016/J.ENTCS.2009.12.002},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/SantiagoTEMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2008,
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/248/suppl/C},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prole/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2009,
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/258/issue/1},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prole/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlarconL09,
author = {Beatriz Alarc{\'{o}}n and
Salvador Lucas},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Using Context-Sensitive Rewriting for Proving Innermost Termination
of Rewriting},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {3--17},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.055},
doi = {10.1016/J.ENTCS.2009.07.055},
timestamp = {Thu, 09 Mar 2023 14:51:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlarconL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Alba-CastroAEOR09,
author = {Mauricio Alba{-}Castro and
Mar{\'{\i}}a Alpuente and
Santiago Escobar and
Pedro Ojeda and
Daniel Romero},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {A Tool for Automated Certification of Java Source Code in Maude},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {19--29},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.056},
doi = {10.1016/J.ENTCS.2009.07.056},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Alba-CastroAEOR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertAGP09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Cost Relation Systems: {A} Language-Independent Target Language for
Cost Analysis},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {31--46},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.057},
doi = {10.1016/J.ENTCS.2009.07.057},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertAGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlechaH09,
author = {Mikel Alecha and
Montserrat Hermo},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {A Learning Algorithm for Deterministic Finite Automata using {JFLAP}},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {47--56},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.058},
doi = {10.1016/J.ENTCS.2009.07.058},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlechaH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Almendros-Jimenez09,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Preface},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {1--2},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.054},
doi = {10.1016/J.ENTCS.2009.07.054},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Almendros-Jimenez09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteFJV09,
author = {Mar{\'{\i}}a Alpuente and
Marco A. Feli{\'{u}} and
Christophe Joubert and
Alicia Villanueva},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {DATALOG{\_}SOLVE: {A} Datalog-Based Demand-Driven Program Analyzer},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {57--66},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.059},
doi = {10.1016/J.ENTCS.2009.07.059},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteFJV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranLM09,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Methods for Proving Termination of Rewriting-based Programming Languages
by Transformation},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {93--113},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.062},
doi = {10.1016/J.ENTCS.2009.07.062},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DuranLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuranLMG09,
author = {Francisco Dur{\'{a}}n and
Salvador Lucas and
Jos{\'{e}} Meseguer and
Francisco Guti{\'{e}}rrez},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Web Services and Interoperability for the Maude Termination Tool},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {83--92},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.061},
doi = {10.1016/J.ENTCS.2009.07.061},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DuranLMG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IranzoMMO09,
author = {Pascual Juli{\'{a}}n Iranzo and
Jes{\'{u}}s Medina and
Gin{\'{e}}s Moreno and
Manuel Ojeda{-}Aciego},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Thresholded Tabulation in a Fuzzy Logic Setting},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {115--130},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.063},
doi = {10.1016/J.ENTCS.2009.07.063},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IranzoMMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IranzoRG09,
author = {Pascual Juli{\'{a}}n Iranzo and
Clemente Rubio{-}Manzano and
Juan Gallardo{-}Casero},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Bousi{\textasciitilde}Prolog: a Prolog Extension Language for Flexible
Query Answering},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {131--147},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.064},
doi = {10.1016/J.ENTCS.2009.07.064},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IranzoRG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marpons-UceroMCHFMP09,
author = {Guillem Marpons{-}Ucero and
Julio Mari{\~{n}}o and
Manuel Carro and
{\'{A}}ngel Herranz{-}Nieva and
Lars{-}{\AA}ke Fredlund and
Juan Jos{\'{e}} Moreno{-}Navarro and
{\'{A}}lvaro Polo},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {A Coding Rule Conformance Checker Integrated into {GCC}},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {149--159},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.065},
doi = {10.1016/J.ENTCS.2009.07.065},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Marpons-UceroMCHFMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinP09,
author = {Jos{\'{e}} Antonio Mart{\'{\i}}n and
Ernesto Pimentel},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Dinapter: Automatic Adapter Specification for Software Composition},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {161--171},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.066},
doi = {10.1016/J.ENTCS.2009.07.066},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rodriguez-ArtalejoR09,
author = {Mario Rodr{\'{\i}}guez{-}Artalejo and
Carlos A. Romero{-}D{\'{\i}}az},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Qualified Logic Programming with Bivalued Predicates},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {67--82},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.060},
doi = {10.1016/J.ENTCS.2009.07.060},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rodriguez-ArtalejoR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RuizV09,
author = {David Ruiz and
Mateu Villaret},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {{TILC:} The Interactive Lambda-Calculus Tracer},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {173--183},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.067},
doi = {10.1016/J.ENTCS.2009.07.067},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RuizV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2007,
editor = {Ernesto Pimentel},
title = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/206/suppl/C},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prole/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteGPV08,
author = {Mar{\'{\i}}a Alpuente and
Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Ernesto Pimentel and
Alicia Villanueva},
editor = {Ernesto Pimentel},
title = {An Abstract Analysis Framework for Synchronous Concurrent Languages
based on source-to-source Transformation},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {3--21},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.072},
doi = {10.1016/J.ENTCS.2008.03.072},
timestamp = {Mon, 13 Feb 2023 13:57:26 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteGPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlvezL08,
author = {Javier {\'{A}}lvez and
Paqui Lucio},
editor = {Ernesto Pimentel},
title = {A New Proposal Of Quasi-Solved Form For Equality Constraint Solving},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {23--40},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.073},
doi = {10.1016/J.ENTCS.2008.03.073},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlvezL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Frutos-EscrigG08,
author = {David de Frutos{-}Escrig and
Carlos Gregorio{-}Rodr{\'{\i}}guez},
editor = {Ernesto Pimentel},
title = {Constrained Simulations, Nested Simulation Semantics and Counting
Bisimulations},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {41--58},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.074},
doi = {10.1016/J.ENTCS.2008.03.074},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Frutos-EscrigG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GaintzarainHLN08,
author = {Joxe Gaintzarain and
Montserrat Hermo and
Paqui Lucio and
Marisa Navarro},
editor = {Ernesto Pimentel},
title = {Systematic Semantic Tableaux for {PLTL}},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {59--73},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.075},
doi = {10.1016/J.ENTCS.2008.03.075},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GaintzarainHLN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucasN08,
author = {Salvador Lucas and
Rafael Navarro{-}Marset},
editor = {Ernesto Pimentel},
title = {Comparing {CSP} and {SAT} Solvers for Polynomial Constraints in Termination
Provers},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {75--90},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.076},
doi = {10.1016/J.ENTCS.2008.03.076},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LucasN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marti-OlietMP08,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Jos{\'{e}} Meseguer and
Miguel Palomino},
editor = {Ernesto Pimentel},
title = {Algebraic Stuttering Simulations},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {91--110},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.077},
doi = {10.1016/J.ENTCS.2008.03.077},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Marti-OlietMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OrejasP08,
author = {Fernando Orejas and
Sonia P{\'{e}}rez},
editor = {Ernesto Pimentel},
title = {Architectural Connectors for Sequence Diagrams},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {111--131},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.078},
doi = {10.1016/J.ENTCS.2008.03.078},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OrejasP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pimentel08,
author = {Ernesto Pimentel},
editor = {Ernesto Pimentel},
title = {Preface},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.071},
doi = {10.1016/J.ENTCS.2008.03.071},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pimentel08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rodriguez-HortalaS08,
author = {Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Ernesto Pimentel},
title = {Functions and Lazy Evaluation in Prolog},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {153--174},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.080},
doi = {10.1016/J.ENTCS.2008.03.080},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rodriguez-HortalaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VelascoL08,
author = {Pedro Pablo P{\'{e}}rez Velasco and
Juan de Lara},
editor = {Ernesto Pimentel},
title = {Using Matrix Graph Grammars for the Analysis of Behavioural Specifications:
Sequential and Parallel Independence},
booktitle = {Proceedings of the Seventh Spanish Conference on Programming and Computer
Languages, {PROLE} 2007, Zaragoza, Spain, September 12-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {206},
pages = {133--152},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.079},
doi = {10.1016/J.ENTCS.2008.03.079},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VelascoL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2006,
editor = {Paqui Lucio and
Fernando Orejas},
title = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/188/suppl/C},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prole/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlarconGIL07,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Jos{\'{e}} Iborra and
Salvador Lucas},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Proving Termination of Context-Sensitive Rewriting with {MU-TERM}},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {105--115},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.041},
doi = {10.1016/J.ENTCS.2007.05.041},
timestamp = {Tue, 31 Jan 2023 15:25:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlarconGIL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlarconGL07,
author = {Beatriz Alarc{\'{o}}n and
Ra{\'{u}}l Guti{\'{e}}rrez and
Salvador Lucas},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Improving the Context-sensitive Dependency Graph},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {91--103},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.040},
doi = {10.1016/J.ENTCS.2007.05.040},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlarconGL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlpuenteGV07,
author = {Mar{\'{\i}}a Alpuente and
Bernhard Gramlich and
Alicia Villanueva},
editor = {Paqui Lucio and
Fernando Orejas},
title = {A Framework for Timed Concurrent Constraint Programming with External
Functions},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {143--155},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.043},
doi = {10.1016/J.ENTCS.2007.05.043},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlpuenteGV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BertranBC07,
author = {Miquel Bertran and
Francesc{-}Xavier Babot and
August Climent},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Formal Sequentialization of Distributed Systems via Program Rewriting},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {53--75},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.038},
doi = {10.1016/J.ENTCS.2007.05.038},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BertranBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastroL07,
author = {Javier de Dios Castro and
Francisco Javier L{\'{o}}pez{-}Fraguas},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Extra Variables Can Be Eliminated from Functional Logic Programs},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {3--19},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.05.049},
doi = {10.1016/J.ENTCS.2006.05.049},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CastroL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JulianMP07,
author = {Pascual Juli{\'{a}}n and
Gin{\'{e}}s Moreno and
Jaime Penabad},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Efficient Reductants Calculi using Partial Evaluation Techniques with
Thresholding},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {77--90},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.039},
doi = {10.1016/J.ENTCS.2007.05.039},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JulianMP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lopez-FraguasRS07,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas and
Juan Rodr{\'{\i}}guez{-}Hortal{\'{a}} and
Jaime S{\'{a}}nchez{-}Hern{\'{a}}ndez},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Equivalence of Two Formal Semantics for Functional Logic Programs},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {117--142},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.042},
doi = {10.1016/J.ENTCS.2007.05.042},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lopez-FraguasRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LucioO07,
author = {Paqui Lucio and
Fernando Orejas},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Preface},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.05.048},
doi = {10.1016/J.ENTCS.2006.05.048},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LucioO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinFHRSV07,
author = {Sonia Est{\'{e}}vez Mart{\'{\i}}n and
Antonio J. Fern{\'{a}}ndez and
Maria Teresa Hortal{\'{a}}{-}Gonz{\'{a}}lez and
Mario Rodr{\'{\i}}guez{-}Artalejo and
Fernando S{\'{a}}enz{-}P{\'{e}}rez and
Rafael del Vado V{\'{\i}}rseda},
editor = {Paqui Lucio and
Fernando Orejas},
title = {A Proposal for the Cooperation of Solvers in Constraint Functional
Logic Programming},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {37--51},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.037},
doi = {10.1016/J.ENTCS.2007.05.037},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinFHRSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MorenoP07,
author = {Gin{\'{e}}s Moreno and
Vicente Pascual},
editor = {Paqui Lucio and
Fernando Orejas},
title = {Formal Properties of Needed Narrowing with Similarity Relations},
booktitle = {Proceedings of the Sixth Spanish Conference on Programming and Languages,
{PROLE} 2006, Sitges, Barcelona, Spain, October 4-6, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {188},
pages = {21--35},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.05.036},
doi = {10.1016/J.ENTCS.2007.05.036},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MorenoP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prole/2004,
editor = {Salvador Lucas},
title = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/137/issue/1},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prole/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlvezL05,
author = {Javier {\'{A}}lvez and
Paqui Lucio},
editor = {Salvador Lucas},
title = {Elimination of Local Variables from Definite Logic Programs},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {5--24},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.037},
doi = {10.1016/J.ENTCS.2005.01.037},
timestamp = {Mon, 12 Dec 2022 16:37:03 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlvezL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BertranBC05,
author = {Miquel Bertran and
Francesc{-}Xavier Babot and
August Climent},
editor = {Salvador Lucas},
title = {An Input/Output Semantics for Distributed Program Equivalence Reasoning},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {25--46},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.038},
doi = {10.1016/J.ENTCS.2005.01.038},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BertranBC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Hidalgo-HerreroO05,
author = {Mercedes Hidalgo{-}Herrero and
Yolanda Ortega{-}Mall{\'{e}}n},
editor = {Salvador Lucas},
title = {Dealing Denotationally With Stream-based Communication},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {47--68},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.039},
doi = {10.1016/J.ENTCS.2005.01.039},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Hidalgo-HerreroO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IranzoMP05,
author = {Pascual Juli{\'{a}}n Iranzo and
Gin{\'{e}}s Moreno and
Jaime Penabad},
editor = {Salvador Lucas},
title = {Unfolding-based Improvements on Fuzzy Logic Programs},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {69--103},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.040},
doi = {10.1016/J.ENTCS.2005.01.040},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IranzoMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lucas05a,
author = {Salvador Lucas},
editor = {Salvador Lucas},
title = {Preface},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {1--3},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.036},
doi = {10.1016/J.ENTCS.2005.01.036},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lucas05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Marti-OlietPV05,
author = {Narciso Mart{\'{\i}}{-}Oliet and
Miguel Palomino and
Alberto Verdejo},
editor = {Salvador Lucas},
title = {A Tutorial on Specifying Data Structures in Maude},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {105--132},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.041},
doi = {10.1016/J.ENTCS.2005.01.041},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Marti-OlietPV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PitaP05,
author = {Isabel Pita and
Miguel Palomino},
editor = {Salvador Lucas},
title = {Proving Modal Properties of Rewrite Theories Using Maude's Metalevel},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {133--150},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.042},
doi = {10.1016/J.ENTCS.2005.01.042},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PitaP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VelardoSF05,
author = {Fernando Rosa{-}Velardo and
Clara Segura and
David de Frutos{-}Escrig},
editor = {Salvador Lucas},
title = {Tagged Systems: {A} Framework for the Specification of History-dependent
Properties},
booktitle = {Proceedings of the Fourth Spanish Conference on Programming and Computer
Languages, {PROLE} 2004, M{\'{a}}laga, Spain, November 10-12,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {137},
number = {1},
pages = {151--174},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.043},
doi = {10.1016/J.ENTCS.2005.01.043},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VelardoSF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 09:27 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
