PROLE 2018 (Sevilla)

Ortega Mallén, Y.  (Ed.), Actas de las XVIII Jornadas de Programación y Lenguajes (PROLE 2018). Sevilla, septiembre de 2018.

Las XVIII Jornadas de Programación y Lenguajes (PROLE 2018) se han celebrado en Sevilla del 17 al 19  de septiembre de 2018, como parte de las Jornadas SISTEDES.

El programa de PROLE 2018 se ha organizado en torno a sesiones temáticas. A continuación se detalla el contenido de las actas:

• Preliminares
• Comité de Programa
• Sesión 1: Datalog and Deductive Databases
• Sesión 2: Logic Programming
• Sesión 3: Web Queries and Program Analysis
• Sesión 4: Model Checking and Information Retrieval
• Sesión 5: Logics
• Sesión 6: Transition Systems and Parallel Programming
• Sesión 7: Testing
• Sesión 8: Formal Verification and Correctness