Descripción
Las Jornadas de PROgramación y LEnguajes (PROLE) constituyen 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. Con la organización de este evento nacido en 2001, de carácter anual, se pretende fomentar el intercambio de experiencias y resultados, así como la comunicación y cooperación entre dichos grupos. La XVI edición de estas Jornadas (PROLE 2016) se celebrará en el marco del V Congreso Español de informática (CEDI) y tendrá lugar en Salamanca del 13 al 15 de septiembre de 2016.
Fechas
- Recepción de trabajos: 3 de mayo de 2016
- Notificación de aceptación: 15 de junio de 2016
- Versión definitiva: 4 de julio de 2016
Temas
Una lista no exhaustiva de los temas abordados en PROLE incluye:
- Paradigmas de programación. Integración de paradigmas de programación.
- Especificación y lenguajes de especificación. Sistemas de tipos. Lenguajes y técnicas para nuevos modelos de programación.
- Arquitecturas e interconexión de programas.
- Técnicas y herramientas de implementación de lenguajes de programación. Semántica de lenguajes de programacion
- Análisis de programas. Verificación y certificación de programas. Transformación y optimización de programas.
Depuración y prueba de programas. Terminación de programas.
- Lógicas para el desarrollo de software.
- Métodos formales en los procesos de desarrollo de software.
- Aplicación de métodos formales en la industria. Casos de estudio.
- Desarrollo de aplicaciones con lenguajes y herramientas existentes. Demostraciones de herramientas y sistemas software.