II Jornadas
sobre Programación y Lenguajes
PROLE 2002

PROLE son unas jornadas que surgen con la intención de ser un lugar de reunión de los grupos españoles que trabajan en temas ligados a la programación y a los lenguajes de programación. Con la organización de este evento, se pretende que los, cada vez más numerosos, grupos que trabajan en España en este ámbito puedan conocerse mejor, intercambiar experiencias y resultados de investigación y, posiblemente, iniciar líneas de cooperación.

El ámbito de PROLE comprende trabajo tanto teórico como práctico alrededor de la especificación, diseño, implementación, análisis y verificación de programas y lenguajes de programación. Más concretamente, una lista no exhaustiva de los temas de PROLE incluiría:

• Paradigmas de programación (funcional, lógico, concurrente, orientado a objetos, visual, etc.) y su integración.
• Especificación y lenguajes de especificación
• Semántica y su aplicación al diseño, análisis y verificación, transformación o aprendizaje de programas.
• Técnicas de análisis de programas
• Compilación y herramientas de implementación de lenguajes de programación
• Transformación de programas
• Sistemas de tipo

[PRESENTACIÓN ] [ CONTACTO] [FECHAS] [COMITÉ] [OBTENER CALL EN PDF] [OBTENER CALL EN WORD]