Published: 11th January 2017|
|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|
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.