Sign in
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)
volume 258, number 1, 2009
Proceedings of the Ninth Spanish Conference on Programming and Languages, PROLE 2009, San Sebastián, Spain, September 9-11, 2009
PROLE
258 (1) (2009)
volume 248, 2009
Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008
PROLE
248 (2009)
volume 206, 2008
Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, PROLE 2007, Zaragoza, Spain, September 12-14, 2007
PROLE
206 (2008)
volume 188, 2007
Proceedings of the Sixth Spanish Conference on Programming and Languages, PROLE 2006, Sitges, Barcelona, Spain, October 4-6, 2006
PROLE
188 (2007)
volume 137, number 1, 2005
Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, PROLE 2004, Málaga, Spain, November 10-12, 2004
PROLE
137 (1) (2005)