This report contains the informal proceedings of 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), 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ó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,
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
Program analysis techniques,
Program transformation and optimization, and
Tools and techniques for supporting the development and connectivity of programs (modularity,
generic programming, markup languages, WWW, …).
The Program Committee of PROLE 2014 collected four reviews for each paper and held an
electronic discussion during July 2014. The contributions included in this informal proceedings
belong to one of the following categories:
- Original works (3 contributions)
- Tutorials (1 contribution)
- Tool systems (2 contributions)
- High-level already published papers (10 contributions).
- Work in progress (7 contributions)
In addition to the selected contributions, the scientific program includes an invited lecture by
Michael Ernst from the University of Washington, USA. We would like to thank him for having
accepted our invitation.
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.
Valencia, Spain, Santiago Escobar
PROLE 2014 Editor