Prólogo

Las Jornadas de PROgramación y LEnguajes (PROLE) se han convertido en los últimos años en un marco propicio de reunión, debate y divulgación para los grupos españoles que investigan en temas relacionados con la programación y los lenguajes de programación.

La XI edición de estas Jornadas (PROLE'11) tiene lugar en A Coruña del 5 al 7 de septiembre de 2011, en paralelo con las XVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD'11) y las VII Jordanas de Ciencia e Ingeniería de Servicios (JCIS'11), auspiciadas por la Sociedad de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES). Continua así la tradición de las ediciones anteriores celebradas en Almagro (2001), El Escorial (2002), Alicante (2003), Málaga (2004), Granada (2005), Sitges (2006), Zaragoza (2007), Gijón (2008), San Sebastián (2009) y Valencia (2010). PROLE'11 va precedido el día 5 de Septiembre por el III Taller de Programación Funcional (TPF’11), que cuenta con su propio comité de programa.

Queremos agradecer tanto a los organizadores locales como a SISTEDES el soporte, infraestructura y apoyo prestados. Estas actas recopilan un total de 26 trabajos aceptados que fueron rigurosamente revisados cada uno de ellos por, al menos, 3 miembros de los respectivos comités de programa de PROLE/TPF y/o revisores adicionales, a los cuales agradecemos su excelente colaboración y sugerencias para la mejora de los trabajos.

Para PROLE’11 se han seleccionado 24 trabajos que cubren aspectos teóricos y prácticos relativos a la especificación, diseño, implementación, análisis, verificación, validación y aplicación de programas y lenguajes de programación. Por su parte, TPF’11 ha seleccionado 2 trabajos directamente relacionados con el paradigma de programación funcional.

Además de todas las actividades vinculadas el evento, el programa de PROLE’11 cuenta con una conferencia invitada que, bajo el título "Programming with Boolean Satisfaction" será impartida por Mike Codish, Department of Computer Science (Ben-Gurion University of the Negev).

El programa de TPF’11 cuenta este año con tres seminarios sobre programación funcional impartidos por Raúl Gutiérrez, Aleksandar Nanevski y José Iborra. A todos ellos queremos agradecerles el haber aceptado nuestra invitación. Por último, queremos agradecer al comité permanente de PROLE la confianza depositada tanto en PROLE'11 como en TPF'11.