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.