PROLE 2016 (Salamanca)

Villanueva, M. (Ed.), Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016). Salamanca, septiembre de 2016.

• 1. Prefacio
• 2. Índice
• 3. Charla invitada: Constraint-Based Testing: An Emerging Trend in Software Testing
• Sesión 02: Transformación y Optimización
• Sesión 05: Trabajos ya publicados (I)
• Sesión 07: Lenguajes y Semánticas
• Sesión 10: Trabajos ya publicados (II)
• Sesión 11: Tutoriales y Web
• Sesión 12: Lenguajes
• Sesión 13: Verificación y Análisis