Published: 11th January 2017
DOI: 10.4204/EPTCS.237
ISSN: 2075-2180

EPTCS 237

Proceedings XVI Jornadas sobre
Programación y Lenguajes
Salamanca, Spain, 14-16th September 2016

Edited by: Alicia Villanueva

Preface
Alicia Villanueva
A Tutorial on Using Dafny to Construct Verified Software
Paqui Lucio
1
Comparing MapReduce and Pipeline Implementations for Counting Triangles
Edelmira Pasarella, Maria-Esther Vidal and Cristina Zoltan
20
Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems
Salvador Tamarit, Julio Mariño, Guillermo Vigueras and Manuel Carro
34
Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code
Guillermo Vigueras, Manuel Carro, Salvador Tamarit and Julio Mariño
52
An Introduction to Liquid Haskell
Ricardo Peña
68

Preface

This volume contains the informal proceedings of the XVI Jornadas sobre Programación y Lenguajes (PROLE 2016), held at Salamanca (Spain) as part as the CEDI 2016 event during September 14th-16th, 2016. Previous editions of the event were held in Santander (2015), Cádiz (2014), Madrid (2013), Almería (2012), A Coruña (2011), València (2010), San Sebastián (2009), Gijón (2008), Zaragoza (2007), Sitges (2006), Granada (2005), Málaga (2004), Alicante (2003), El Escorial (2002), and Almagro (2001).

Programming languages provide a conceptual framework which is necessary for the development, analysis, optimization and understanding of programs and programming tasks. The aim of the PROLE series of conferences (PROLE stems from the Spanish PROgramación y LEnguajes) is to serve as a meeting point for Spanish research groups which develop their work in the area of programming and programming languages. The organization of this series of events aims at fostering the exchange of ideas, experiences and results among these groups. Promoting further collaboration is also one of its main goals.

PROLE welcomes both theoretical and practical works concerning the specification, design, implementation, analysis, and verification of programs and programming languages. In this sixteen edition, 23 papers (previously reviewed) were presented at the workshop. In addition, the scientific program includes an invited lecture, given by Arnaud Gotlieb from the Simula Research Laboratory, Norway. We thank him for having accepted our invitation and for his interesting talk about Constraint-Based Testing: An Emerging Trend in Software Testing.

After the conference, among the sixteen papers that were original contributions, the program committee selected five of them to be published in EPTCS. Each contribution was again reviewed by at least three program committee members. This volume contains the revised version of these selected papers.

I would like to thank all the members of the program committee and all the referees for their careful work in the review and selection process; I also thank all authors who have submitted their papers and all conference participants. We express our gratitude to all the members of the local organization of CEDI 2016 in Salamanca and the support of SISTEDES. Finally, we gratefully acknowledge the institutions that sponsored this event: Generalitat Valenciana PROMETEOII/2015/013, MINECO TIN 2015-69175-C4-1-R and Universitat Politècnica de València.

PROLE 2016 Organization

Program Chair

Alicia Villanueva (villanue@dsic.upv.es). DSIC, Universitat Politècnica de València, Spain.

Program Committee

Additional Reviewers