Tabla de contenidos

Conferencia invitada

Programming with Boolean Satisfaction
M. Codish

Sesión temática 1: El lenguaje de consulta XPath

Fuzzy Logic Programming for Implementing a Flexible XPath-based Query Language
J.M. Almendros Jiménez, A. Luna, G. Moreno

Projecting and Pruning XQuery Using Dependence Graphs
J.M. Almendros Jiménez, J. Silva, S. Tamarit

XPath Query Processing in a Functional-Logic Language
J.M. Almendros Jiménez, R. Caballero, Y. García Ruiz, F. Sáenz Pérez

Sesión temática 2: Programación Lógica y Funcional

Liberal Typing for Functional Logic Programs
F. López Fraguas, E. Martin Martin, J. Rodríguez Hortalá

Reduction Strategies for Rewriting with Call-time Choice
J. Sánchez Hernández

Embedding a Constraints Solver over Sets of Integers in TOY
S. Estévez, J. Correas, F. Sáenz Pérez

Sesión temática 3: Certificación y Corrección

Contracts for Security Adaptation
J.A. Martín, E. Pimentel

Certification of Safe Polynomial Memory Bounds
J. de Dios, R. Peña

Dynamic Soundness in Resource-Constrained Workflow Nets
M. Martos Salgado, F. Rosa Velardo

Sesión temática 4: Validación y Verificación

Uso de Propiedades Abstractas para Especificación de Pruebas Funcionales de Caja Negra
M.A. Francisco, L.M. Castro, V.M. Gulías

Verificación de Interfaces Gráficas de Usuario Utilizando Pruebas Basadas en Propiedades
D. Iglesias Fraga, L.M. Castro

Sesión temática 5: Bases de Datos Deductivas y Optimización

Outer Joins in a Deductive Database System
F. Sáenz Pérez

Incorporating Integrity Constraints to a Deductive Database System
G. Aranda López, S. Nieva, F. Sáenz Pérez, J. Sánchez Hernández

A CFLP Approach for Modeling and Solving a Real Life Employee Timetabling Problem
I. Castiñeiras, F. Sáenz Pérez

Sesión temática 6: Razonamiento Automático

Simplifying General Reductants with Fuzzy Unfolding-based Techniques
P.J. Morcillo, G. Moreno

An Implementation of the Context-Based Tableau
J. Gaintzarain, J.A. Hernandez, P. Lucio

Finite Model Reasoning on Large First-Order Ontologies
A. Azpeitia, M. Hermo, P. Lucio

Sesión temática 7: Depuración Algorítmica

Hacia una Estrategia Óptima para la Depuración Algorítmica
D. Insa, J. Silva

An Improved Version of Divide and Query
D. Insa, J. Silva

A Tool for Testing Data Type Implementations from Maude Algebraic Specifications
I. Pita, A. Riesco

Sesión temática 8: Transformación de Modelos y Teoría de Dominios

Context-Aware Composition and Adaptation based on Model Transformation
J. Cubo, C. Canal, E. Pimentel

Relating Function Spaces to Resourced Function Spaces
L. Sánchez Gil, M. Hidalgo Herrero, Y. Ortega Mall

A Tool for the Integration of Constraint Logic Programming in Spreadsheets
A.M. Fernández Soriano, J. Mariño, A. Herranz

Taller de Programación Funcional

Estrategias del cálculo lambda e interderivación de artefactos semánticos
A. García, P. Nogueira

Towards a System Dependence Graph for Erlang
J. Silva, S. Tamarit y C. Tomás