1. Prefacio
This report contains the informal proceedings of the V 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), Valencia (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 ́on 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. More precisely, the topics of interest include, but are not restricted to:
- Programming paradigms (concurrent, functional, imperative, logic, agent oriented, aspect oriented, object oriented, visual,. . . ) and their integration.
- Specification and specification languages. Type systems.
- Languages and techniques for new computation and programming models.
- Compilation; programming language implementation (tools and techniques).
- Semantics and their application to the design, analysis, and verification of programs.
- Program analysis and program certification techniques. Program transformation and optimization. Program testing and debugging. Program termination.
- Logics for software development.
- Formal methods for industrial systems and case studies.
- Tools and techniques for supporting the development and connectivity of programs (modularity, generic programming, markup languages, WWW).
The Program Committee of PROLE2016 collected three reviews for each paper and held an electronic discussion during June 2016. The contributions included in the proceedings in PROLE 2016 edition belong to one of the following categories:
- Original work (2 contributions)
- Tutorial (2 contributions)
- Work in progress (11 contributions)
- Already published papers (8 contributions): for these contributions only an abstract appears in the proceedings.
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. We 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; and we also wish to 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.
July 11, 2016
Alicia Villanueva (PROLE 2016 Chair)
PROLE 2016 Program Committee
Jesus M. Almendros-Jiménez Universidad de Almeria
María Alpuente Universitat Politècnica de València
Manuel Carro Technical University of Madrid (UPM) and IMDEA Software Institute
Laura M. Castro University of A Coruña
Francisco Durán University of Málaga
Maria Del Mar Gallardo University of Málaga
Miguel Gómez-Zamalloa Complutense University of Madrid
Pascual Julián-Iranzo University of Castilla-La Mancha
Salvador Lucas Universitat Politècnica de València
Paqui Lucio University of the Basque Country
Francisco Javier López-Fraguas Universidad Complutense Madrid
Narciso Martí-Oliet Universidad Complutense de Madrid
Marisa Navarro Basque Country University (UPV/EHU)
Fernando Orejas Universitat Politècnica de Catalunya
Fernando Sáenz-Pérez Universidad Complutense de madrid
Cesar Sanchez IMDEA Software Institute
Clara Segura Universidad Complutense de Madrid
Josep Silva Universitat Politècnica de València
Alicia Villanueva Universitat Politècnica de València
Mateu Villaret Universitat de Girona
Additional Reviewers
Gaintzarain, Jose
García-Ruiz, Yolanda
Hermo, Montserrat
Mariño, Julio
Martín-Martín, Enrique
Merino, Pedro
Morales, Jose F.
Moreno-Delgado, Antonio
Ojeda-Aciego, Manuel
Sierra, Jose Luis