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