Búsqueda avanzada

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