Login / Signup
PROLE
2005
2009
2013
2017
2005
2017
Keyphrases
Publications
volume 237, 2017
Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016.
PROLE
237 (2017)
2016
Ricardo Peña
An Introduction to Liquid Haskell.
PROLE
(2016)
Edelmira Pasarella
,
Maria-Esther Vidal
,
Cristina Zoltan
Comparing MapReduce and Pipeline Implementations for Counting Triangles.
PROLE
(2016)
Paqui Lucio
A Tutorial on Using Dafny to Construct Verified Software.
PROLE
(2016)
Guillermo Vigueras
,
Manuel Carro
,
Salvador Tamarit
,
Julio Mariño
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.
PROLE
(2016)
Salvador Tamarit
,
Julio Mariño
,
Guillermo Vigueras
,
Manuel Carro
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems.
PROLE
(2016)
2015
Fernando Sáenz-Pérez
Restricted Predicates for Hypothetical Datalog.
PROLE
(2015)
Salvador Lucas
Termination of canonical context-sensitive rewriting and productivity of rewrite systems.
PROLE
(2015)
David Romero-Hernández
,
David de Frutos-Escrig
,
Dario Della Monica
Proving Continuity of Coinductive Global Bisimulation Distances: A Never Ending Story.
PROLE
(2015)
Salvador Lucas
Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving.
PROLE
(2015)
María Alpuente
,
Daniel Pardo
,
Alicia Villanueva
Automatic Inference of Specifications in the K Framework.
PROLE
(2015)
volume 200, 2015
Proceedings XV Jornadas sobre Programación y Lenguajes, PROLE 2015, Santander, Spain, 15-17th September 2015.
PROLE
200 (2015)
volume 173, 2015
Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014.
PROLE
173 (2015)
2014
Jesús Manuel Almendros-Jiménez
XQOWL: An Extension of XQuery for OWL Querying and Reasoning.
PROLE
(2014)
Fernando Berzal Galiano
,
Francisco J. Cortijo
,
Juan C. Cubero
,
Luis Quesada
The ModelCC Model-Driven Parser Generator.
PROLE
(2014)
Julián Alarte
,
David Insa
,
Josep Silva
,
Salvador Tamarit
Web Template Extraction Based on Hyperlink Analysis.
PROLE
(2014)
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)
Adrián Riesco
,
Juan Rodríguez-Hortalá
Lifting Term Rewriting Derivations in Constructor Systems by Using Generators.
PROLE
(2014)
Javier Albors
,
Marisa Navarro
SpecSatisfiabilityTool: A tool for testing the satisfiability of specifications on XML documents.
PROLE
(2014)
Damián Adalid
,
María-del-Mar Gallardo
,
Laura Titolo
Modeling Hybrid Systems in the Concurrent Constraint Paradigm.
PROLE
(2014)
Fernando Sáenz-Pérez
Improving the Deductive System DES with Persistence by Using SQL DBMS's.
PROLE
(2014)
volume 282, 2012
Proceedings of the XI Spanish Conference on Programming and Languages, PROLE 2011, A Coruña, Spain, September 5-7, 2011
PROLE
282 (2012)
volume 271, 2011
Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010
PROLE
271 (2011)