PROLE 2015 (Santander)
Ver la referencia en formato Bibtex
Navarro, M. (Ed.), Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015). Santander, septiembre de 2015.
- 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