Preface

This volume contains a selection of the papers presented at the XIV Jornadas sobre Programación y Lenguajes (PROLE 2014), held at Cádiz, Spain, during September 17th-19th, 2014. Previous editions of the workshop were held in 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 the main goals of PROLE.

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-, aspect-, object oriented, visual, ...) and their integration.
• Specification and specification languages.
• Type systems.
• Languages and techniques for new computation and programming models (DNA and quantum computing, genetic programming, ...).
• Compilation; programming language implementation (tools and techniques).
• Semantics and their application to the design, analysis, verification, and transformation of programs.
• Program analysis techniques.
• Program transformation and optimization.
• Tools and techniques for supporting the development and connectivity of programs (modularity, generic programming, markup languages, WWW, ...).

There were thirteen original contributions to the workshop and the Program Committee selected eight papers for publication. The revised versions of these selected papers are included in this volume. Each contribution was reviewed by at least four Program Committee members.

We would also like to thank all the members of the Program Committee and all the referees for their careful work in the review and selection process. Many thanks to all authors who submitted papers and to all conference participants. Finally, we express our gratitude to all the members of the local organization of SISTEDES 2014 in Cádiz. I am also grateful to Andrei Voronkov for his extremely useful EasyChair system for automation of conference chairing.

Organization

Program Chair

Santiago Escobar
Departamento de Sistemas Informáticos y Computación
Universitat Politècnica de València
Camino de vera, s/n
E-46022 Valencia, Spain
sescobar@dsic.upv.es

Program Committee

Jesús Almendros, Universidad de Almería, Spain
María Alpuente, Universitat Politènica de València, Spain
Puri Arenas, Universidad Complutense de Madrid, Spain
Manuel Carro, Universidad Politécnica de Madrid, Spain
Laura Castro, Universidade da Coruña, Spain
Francisco Durán, Universidad de Málaga, Spain
Santiago Escobar, Universitat Politècnica de València, Spain
María del Mar Gallardo, Universidad de Málaga, Spain
Raúl Gutiérrez, Universitat Politècnica de València, Spain
Lars-Ake Fredlund, Universidad Politécnica de Madrid, Spain
Salvador Lucas, Universitat Politècnica de València, Spain
Paqui Lucio, Euskal Herriko Unibertsitatea, Spain
Enrique Martín, Universidad Complutense de Madrid, Spain
Ginés Moreno, Universidad de Castilla la Mancha, Spain
Marisa Navarro, Euskal Herriko Unibertsitatea, Spain
Albert Oliveras, Universitat Politècnica de Catalunya, Spain
Fernando Orejas, Universitat Politècnica de Catalunya, Spain
Yolanda Ortega, Universidad Complutense de Madrid, Spain
Ricardo Peña, Universidad Complutense de Madrid, Spain
Adrián Riesco, Universidad Complutense de Madrid, Spain
Enric Rodríguez, Universitat Politècnica de Catalunya, Spain
Josep Silva, Universitat Politècnica de València, Spain
Alberto Verdejo, Universidad Complutense de Madrid, Spain
Alicia Villanueva, Universitat Politècnica de València, Spain

Additional Reviewers

Javier Álvez
Antonio Becerra-Teron
Ignacio Castiñeiras
Francisco Javier López-Fraguas
Pablo Nogueira
Carlos Vázquez