Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs237.bht:"
@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} }
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.