PROLE 2015 (Santander)
Navarro, M. (Ed.), Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015). Santander, septiembre de 2015.
Las XV Jornadas de Programación y Lenguajes (PROLE 2015) se han celebrado en Santander del 15 al 17 de septiembre de 2015, como parte de las Jornadas SISTEDES.
El programa de PROLE 2015 se ha organizado en torno a sesiones temáticas o tracks.
- Prefacio
- Índice
- Keynote: Obscuring code – Unveiling and Veiling Information in Programs
- Analysis and Transformation
- Testing
- Semantics
- Debugging and Termination
- Combining Languages and Techniques
- Logic and Learning on Databases
- Specification and Type Systems
- Verification
Ver la referencia en formato Bibtex