PROLE 2015 (Santander)

URI permantente para esta comunidad:

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.

Notificar un error en esta comunidad

Examinar

Colecciones de esta comunidad

Mostrando 1 - 9 de 9
  • Artículos en la categoría Analysis and Transformation publicados en las Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015).
  • Artículos en la categoría Combining Languages and Techniques publicados en las Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015).
  • Artículos en la categoría Debugging and Termination publicados en las Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015).
  • Artículos en la categoría Logic and Learning on Databases publicados en las Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015).
  • Preliminares de las Actas de las PROLE 2015 (Santander). Los preliminares de las actas incluyen información adicional sobre las jornadas, tales como la presentación de las jornadas, los comités participantes, las conferencias invitadas, o los agradecimientos, entre otras secciones.
  • Artículos en la categoría Semantics publicados en las Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015).
  • Artículos en la categoría Specification and Type Systems publicados en las Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015).
  • Artículos en la categoría Testing publicados en las Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015).
  • Artículos en la categoría Verification publicados en las Actas de las XV Jornadas de Programación y Lenguajes (PROLE 2015).