Proceedings XVI Jornadas sobre Programaci\'on y Lenguajes

TL;DR

This collection of papers from PROLE 2016 showcases recent research in programming languages, emphasizing theoretical foundations, language design, and analysis techniques to advance understanding and development of programming systems.

Contribution

The volume highlights new research contributions in programming languages from Spanish research groups, fostering collaboration and sharing innovative ideas in the field.

Findings

Diverse approaches to programming language design

Advances in program analysis techniques

New theoretical insights into language semantics

Abstract

This volume contains a selection of the papers presented at the XVI Jornadas sobre Programaci\'on y Lenguajes (PROLE 2016), held at Salamanca, Spain, during September 14th-15th, 2016. Previous editions of the workshop were held in Santander (2015), C\'adiz (2014), Madrid (2013), Almer\'ia (2012), A Coru\~na (2011), Val\`encia (2010), San Sebasti\'an (2009), Gij\'on (2008), Zaragoza (2007), Sitges (2006), Granada (2005), M\'alaga (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 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.