PROGRAMA
CONTENIDO DE LAS SESIONES
Martes 7 de Septiembre de 2010 – II Taller de Programación Funcional (TPF'2010)
9:15-10:30 7-1a Taller de Programación Funcional – Sesión 1
Apertura: Josep Silva
Seminario “Programación Funcional en la Industria”
Carlos Abalde
11:00-12:30 7-2a Taller de Programación Funcional – Sesión 2
Seminario “Programación Genérica Funcional”
Pablo Nogueira
Sistema de Control para un Dispositivo de Entretenimiento Doméstico en Erlang
Samuel Rivas, Victor M. Gulias
12:45-14:30 7-3a Taller de Programación Funcional – Sesión 3
Una implementación del lambda-cálculo en Prolog
Juan Antonio Guerrero, Gines Moreno and Carlos Vázquez
Fibonacci Heaps in Haskell
Ricardo Peña
Implementing Type Classes using Type-Indexed Functions
Enrique Martin-Martin
16:30-18:00 7-4a Taller de Programación Funcional – Sesión 4
Seminario “Tipos Avanzados”
Gilles Barthe
Panel de Ponencias Cortas
Miércoles 8 de Septiembre de 2010 – X Jornadas de Programación y Lenguajes PROLE'2010
11:00-12:30 8-1a Verificación y Validación
Apertura Víctor M. Gulías
Generating certified code from formal proofs: a case study in Homological Algebra
Jesus Aransay-Azofra, Julio Rubio, Clemens Ballarin
Testing Data Consistency of Data-Intensive Applications using QuickCheck
Laura M. Castro, Thomas Arts
A Verification of a Process Supervisor with McErlang
David Castro, Clara Benac Earle, Lars-Ake Fredlund, Victor M. Gulias, Samuel Rivas
An approach to verify hybrid systems with SPIN
Maria-del-Mar Gallardo, Laura Panizo
16:30-18:00 8-2a Semántica y Análisis
Call-by-Need, Call-by-Name and Natural Semantics
Lidia Sánchez Gil, Mercedes Hidalgo-Herrero, Yolanda Ortega-Mallén
Forward analysis for Petri nets with name creation
Fernando Rosa-Velardo and David de Frutos-Escrig
A semantics to generate a Petri net from a CSP specification
Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
Verification of Dynamic Data Tree with muCalculus extended with Separation
Maria-del-Mar Gallardo, David Sanan
18:30-20:00 8-3a Análisis de Programas
A Space Consumption Analysis By Abstract Interpretation
Manuel Montenegro, Ricardo Peña, Clara Segura
Towards Compositional CLP-based Test Data Generation for Imperative Languages
Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas Siles, Germán Puebla
Parametric Inference of Memory Requirements for Garbage Collected Languages
Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa
Balancing Execution Trees
David Insa Cabrera, Josep Silva and Adrian Riesco
Jueves 9 de Septiembre de 2010 – X Jornadas de Programación y Lenguajes PROLE'2010
9:00-10:30 9-1a Especificación y Transformación de Modelos y Servicios
Incremental Service Composition based on Partial Matching of Visual Contracts
Fernando Orejas
Scalable Discovery of Behavioural Services through Software Adaptation
José Antonio Martín, Ernesto Pimentel
A Model Transformation Approach based on Prolog and Ontologies
Jesus Manuel Almendros-Jimenez, Luis Iribarne
A Formal specification of the Kademlia distributed hash table
Isabel Pita
11:00-12:30 9-2a Conferencia Invitada
Property-based Testing with Quickcheck
Prof. John Hughes
12:30-14:00 9-3a Sesión Posters/Herramientas
16:00-17:30 9-4a XML y Web Semántica
Proving Satisfiability of Constraint Specifications on XML Documents
Marisa Navarro, Fernando Orejas
A Prolog-based Query Language for OWL
Jesus Manuel Almendros-Jimenez
Visualización de Información Extraída Automáticamente de Multiples Páginas Web
Héctor Valero, Carlos Castillo, Josep Silva
Viernes 10 de Septiembre de 2010 – X Jornadas de Programación y Lenguajes PROLE'2010
9:00-10:30 10-1a Programación Lógica, Fuzzy, Lógico-Funcional y con Restricciones
Efficient Thresholded Tabulation for Fuzzy Query Answering
Pascual Julian-Iranzo, Jesús Medina-Moreno, Gines Moreno, Manuel Ojeda-Aciego
A Declarative Debugger of Missing Answers for Functional and Logic Programming
Fernando Pérez Morente, Rafael del Vado Vírseda
A Declarative Semantics for CLP with Qualification and Proximity
Mario Rodriguez-Artalejo, Carlos A. Romero-Díaz
Multi-Adjoint Lattices for Manipulating Truth-Degrees into the FLOPER System
Pedro-Jose Morcillo, Gines Moreno, Jaime Penabad, Carlos Vazquez
11:00-12:30 10-2a Programación Lógica y Bases de Datos
Efficient BES-based Bottom-Up Evaluation of Datalog Programs
Fernando Tarín, Christophe Joubert, Marco A. Feliú
DES: A Deductive Database System
Fernando Saenz-Perez
A Prototype Constraint Deductive Database System based on HH¬(C)
Gabriel Aranda, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández