PDF de programación - XII Jornadas sobre Programación y Lenguajes (PROLE) y V Taller de Programación Funcional (TPF)

XII Jornadas sobre Programación y Lenguajes (PROLE)

y

V Taller de Programación Funcional (TPF)

Madrid, 17 al 20 de Septiembre de 2013

Editores:
Lars-Åke Fredlund
Laura M. Castro

Actas de
XIII Jornadas sobre Programación y Lenguajes (PROLE)
y V Taller de Programación Funcional (TPF)

Madrid, 17–20 de Septiembre de 2013

Editores:

Lars-Åke Fredlund

|

Laura M. Castro

XIII Jornadas sobre Programación y Lenguajes
V Taller de Programación Funcional

Editores: Lars-Åke Fredlund, Laura M. Castro
Madrid, 2013
ISBN: 978-84-695-8331-9

Edición: 1a
Número de páginas: 313
Materia CDU: 004 Informática. 004.4: Software

© Reservados todos los derechos. Ni la totalidad ni parte de este documento puede ser repro-
ducirda o transmitirda por ningún procedimiento electrónico o mecánico, incluyendo fotocopia,
grabación magnética o cualquier almacenamiento de información y sistema de recuperación,
sin el permiso previo y por escrito de las personas titulares del copyright.

Prólogo

Las Jornadas de PROgramación y LEnguajes (PROLE) se han convertido
en los últimos años en un marco propicio de reunión, debate y divulgación para
los grupos españoles que investigan en temas relacionados con la programación
y los lenguajes de programación.

La XIII edición de estas Jornadas (PROLE’13) tiene lugar en Madrid del
18 al 20 de septiembre de 2013, en el seno del IV congreso trianual CEDI
(Congreso Español de Informática) auspiciado por la Sociedad de Ingeniería
del Software y Tecnologías de Desarrollo de Software (SISTEDES). Continua
así la tradición de las ediciones anteriores celebradas en Almagro (2001), El
Escorial (2002), Alicante (2003), Málaga (2004), Granada (2005), Sitges (2006),
Zaragoza (2007), Gijón (2008), San Sebastián (2009), Valencia (2010), A Coruña
(2011) y Almería (2012).

Queremos agradecer tanto a los organizadores de CEDI como a SISTEDES
el soporte, infraestructura y apoyo prestados. Estas actas recopilan un total
de 28 trabajos aceptados que fueron rigurosamente revisados por, al menos,
3 miembros de los respectivos comités de programa de PROLE/TPF, a los
cuales agradecemos su colaboración, esfuerzo y constructivas sugerencias para
la mejora de los trabajos.

Para PROLE’13 se han seleccionado 22 trabajos que cubren aspectos teó-
ricos y prácticos relativos a la especificación, diseño, implementación, análisis,
verificación, validación y aplicación de programas y lenguajes de programación.
Por su parte, TPF’13 ha seleccionado 6 trabajos directamente relacionados con
el paradigma de programación funcional.

Además de todas las actividades vinculadas al evento, PROLE’13 cuenta
con una conferencia invitada que, bajo el título “Typed Lazy Contracts” será
impartida por Olaf Chitil, del Computing Laboratory, School of Computing de
la University of Kent (Canterbury, UK). Por su parte, el programa de TPF’13
cuenta este año con un taller sobre pruebas software automáticas. Queremos
desde aquí agradecer a todos los autores de los artículos recibidos el haber
contribuido con interesantes contenidos a una nueva edición de PROLE/TPF.
Por último, queremos agradecer al comité permanente de PROLE la con-

fianza depositada tanto en PROLE’13 como en TPF’13.

Madrid, septiembre de 2013.
Lars-Åke Fredlund
Laura M. Castro

Comité Científico del PROLE’2013
Presidente del Comité:
Lars-Åke Fredlund, U. Politécnica de Madrid

Miembros:
Jesús Almendros, U. de Almería
María Alpuente, U. Politécnica de Valencia
Anindya Banerjee, IMDEA
Miquel Bofill, U. de Girona
Manuel Carro, IMDEA/U. Politécnica de Madrid
Laura Castro, U. de A Coruña
María del Mar Gallardo, U. de Málaga
Francisco Duran, U. de Málaga
Samir Genaim, U. Complutense de Madrid
Paqui Lucio, U. del País Vasco
Julio Mariño, U. Politécnica de Madrid
Ginés Moreno, U. de Castilla-La Mancha
Marisa Navarro, U. del País Vasco
Albert Oliveras, U. Politécnica de Cataluña
Fernando Orejas, U. Politécnica de Cataluña
Yolanda Ortega, U. Complutense de Madrid
Francisco Ortín, U. de Oviedo
Ricardo Peña, U. Complutense de Madrid
Fernando Rosa Velardo, U. Complutense de Madrid
Julio Rubio, U. de La Rioja
Fernando Sáenz Pérez, U. Complutense de Madrid
Josep Silva, U. Politécnica de Valencia
Alicia Villanueva, U. Politécnica de Valencia

Comité Científico de TPF’2013
Presidente del Comité:
Laura M. Castro, U. de A Coruña

Miembros:
Raúl Gutiérrez, U. Politécnica de Valencia
Salvador Lucas, U. Politécnica de Valencia
Pablo Nogueira, U. Politécnica de Madrid
Ricardo Peña, U. Complutense de Madrid
Julio Rubio, U. de La Rioja
Josep Silva, U. Politécnica de Valencia
Mateu Villaret,U. de Girona

5

Revisores externos
Francisco Alvarez-Montero
Javier Álvez
Giovanni Bacci
Antonio Becerra-Terón
Clara Benac Earle
Javier Espert
Luis Garmendia
Rémy Haemmerlé
Montserrat Hermo
David Insa
María Martos-Salgado
Jose F. Morales
Adrian Riesco
Ricardo J. Rodríguez
Ilya Sergey
Salvador Tamarit
Luca Torella
Carlos Vázquez

6

Índice de Contenidos de TPF’2013

Septiembre 17

Sesión 1: Algorithms and High-order Methods
10.00–10.30 Ricardo Peña: Una librería en Haskell para manipular

10.30–11.00

lenguajes regulares
Julio Mariño: A Course in Algorithm Design based on
Higher-order Patterns

11.00–11.30 Álvaro García-Pérez, Ilya Sergey, and Pablo Nogueira:
Derivación de Intérpretes del Cálculo Lambda con Tipos
Graduales

Sesión 2: Verification and Testing
12.00–12.30

12.30–13.00

Jesús Aransay and Jose Divasón: Performance Analysis of
a Verified Linear Algebra Program in SML
Julio Mariño: Euclidean Interpolation: from Mathematical
Structures to Types and Back

13.00–13.30 Miguel Ángel Francisco Fernández and Laura M. Castro:
Uso de propiedades y modelos para las pruebas de sistemas
distribuidos basados en la integración de componentes het-
erogéneos

7

Índice de Contenidos del PROLE’2013

Septiembre 18

Sesión 1: Typing
9.30–10.00

Francisco J. López-Fraguas and Enrique Martin-Martin:
Typing as Functional-Logic Evaluation

10.00–10.30 Miguel Garcia and Francisco Ortin: Optimización de
Lenguajes con Comprobación Estática y Dinámica de Tipos

Sesión 2: Testing
11.00–11.30 Macías López, Henrique Ferreiro, Miguel Á. Francisco, and
Laura M. Castro: Automatización de Pruebas para Servi-
cios Web: Generación de Propiedades y Modelos

11.30–12.00 Pedro Delgado-Pérez, Inmaculada Medina-Bulo, Juan José
Domínguez-Jiménez, and Antonio García-Domínguez: Op-
eradores de Mutación a Nivel de Clase para el Lenguaje
C++

12.00–12.30 Clara Benac Earle and Lars-Åke Fredlund: Testing Java

with QuickCheck

Sesión 3: Abstraction and Analysis
12.45–13.15 Manuel Montenegro, Ricardo Peña, and Clara Segura:
Shape Analysis in a Functional Language by Using Reg-
ular Languages

13.15–13.45 Elvira Albert, Jesús Correas Fernández, Germán Puebla,
and Guillermo Román-Díez: Quantified Abstractions of
Distributed Systems

8

Sesión 4: Fuzzy Logic
16.00–16.30 Patrik Eklund, M. Ángeles Galán, Robert Helgesson, Jari
Kortelainen, Ginés Moreno, and Carlos Vázquez: Towards
a Categorical Description of Fuzzy Logic Programming
Jesús M. Almendros-Jiménez, Alejandro Luna, Ginés
Moreno, and Carlos Vázquez: Analyzing Fuzzy Logic Com-
putations with Fuzzy XPath

16.30–17.00

17.00–17.30 Miquel Bofill, Ginés Moreno, Carlos Vázquez, and Mateu
Villaret: Automatic Proving of Fuzzy Formulae with Fuzzy
Logic Programming and SMT

9

Septiembre 19

Sesión 5: Logic and Theory
9.00–9.30

Javier Álvez, Paqui Lucio, and German Rigau: Adimen-
SUMO: Reengineering an Ontology for First-Order Rea-
soning
Francisco J. Galán and Ahmed Riveras: Semantic Web Ser-
vices in a Transactional Context

9.30–10.00

10.00–10.30 María Alpuente, Santiago Escobar, and Javier Espert: De-

tecting Modular ACU Structural Symmetries

Sesión 6: Invited Talk
11.00-12.30 Olaf Chitil: Typed Lazy Contracts

Sesión 7: Model and Bisimilarity Checking
16.00–16.30 María Martos-Salgado and Fernando Rosa-Velardo: On the
Decidability of Model Checking LTL Fragments in Mono-
tonic Extensions of Petri Nets

16.30–17.00 Laura Panizo and María-del-Mar Gallardo: Verifying Hy-

brid Systems with Explicit Model Checkers

17.00–17.30 Fernando Orejas, Artur Boronat, Ulrike Golas, and Nikos
Mylonakis: Checking Bisimilarity for Attributed Graph
Transformation

10

Septiembre 20

Sesión 8: Database Theory
9.00–9.30

9.30–10.00

Fernando Sáenz-Pérez: Towards Bridging the Expressive-
ness Gap Between Relational and Deductive Databases
Gabriel Aranda, Susana Nieva, Fernando Sáenz-Pérez, and
Jaime Sánchez-Hernández: R-SQL: An SQL Database Sys-
tem with Extended Recursion

10.00–10.30 Rafael Caballero, Yolanda García-Ruiz, and Fernando
Sáenz-Pérez: Declarative Debugging of Wrong and Miss-
ing Answers for SQL Views

Sesión 9: Languages and Systems
11.00–11.30

Ignacio Castiñeiras and Fernando Sáenz-Pérez: Improving
the Search Capabilities of a CFLP(FD) System

11.30–12.00 Ricardo J. Rodríguez, Lars-Åke Fredlund, and Ángel Her-

ranz: From UML State-Machine Diagrams to Erlang

12.00–12.30 Ana-Rosario Espada, María-del-Mar Gallardo, and Damián
Adalid: DRAGONFLY: Encapsulating Android for Instru-
mentation

11

V Taller de Programación Funcional (TPF)

12

Sesión 1: Algorithms and High-order Methods

13

Sesión 1: Algorithms and High-order Methods
10.00–10.30 Ricardo Peña: Una librería en Haskell para manipular

10.30–11.00

lenguajes regulares
Julio Mariño: Euclidean Interpolation: from Mathematical
Structures to Types and Back

11.00–11.30 Álvaro García-Pérez, Ilya Sergey, and Pablo Nogueira:
Derivación de Intérpretes del Cálculo Lambda con Tipos
Graduales

14

UnalibreríaenHaskellparamanipularlenguajesregularesRicardoPeñ[email protected]áticosyComputaciónUniversidadComplutensedeMadrid,Spain*Abstract:HaLeXesunalibreríaescritaenellenguajefuncionalHaskell,desarro-lladacomopartedeunproyectodocenteporelDepartamentodeInformáticadelaUniversidaddoMinho(Braga,Portugal),paramanipularyanimarlenguajesregu-lares.Suministraexpresionesregulares,autómatasfinitosdeterministasynodeter-ministas,funcionesparaconver