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.