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