TEMAS DE INTERÉS
En el ámbito de PROLE son bienvenidos tanto los trabajos teóricos, como los que desarrollan aspectos prácticos relativos a la especificación, diseño, implementación, análisis y verificación de programas y lenguajes de programación, incluyendo el uso de métodos formales en los procesos de desarrollo del software. Son especialmente relevantes aquellos trabajos relativos al desarrollo de aplicaciones con herramientas y sistemas software existentes, así como demostraciones de herramientas y sistemas en este contexto. 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 programación.
- 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.