Electronic Communications of the EASST
Volume 55 (2012)

Proceedings of the
XII Spanish Conference on Programming and Computer

Languages
(PROLE 2012)

Preface

1 pages

Guest Editors: Marı́a-del-Mar Gallardo
Managing Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer
ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122

http://www.easst.org/eceasst/


ECEASST

Preface

Every year, the Spanish Conference on Programming and Computer Languages (PROLE)
brings together Spanish researchers interested in aspects related to the formal definition, analy-
sis, implementation and verification of programming languages. Maybe the most telling common
characteristic of the research carried out by the PROLE community is that particular attention is
always paid to the formal and rigorous presentation of the results. A non-exhaustive list of the
areas of interest covered by PROLE includes logic/functional/logic-functional programming and
applications, program semantics, program transformation, Databases, constraint logic program-
ming, formal aspects of software engineering and model checking.

In the 2012 meeting, 21 papers were accepted in three different categories: original research
papers, research papers in progress, and high level papers previously published in outstanding
conferences or journals. The present volume contains the three original research papers selected
after the meeting by the program committee of PROLE’12 to be published in ECEASST.

This year, the selected papers consider the implementation and testing aspects of databases,
and debugging in fuzzy logic systems. First, the paper Tabling with Support for Relational
Features in a Deductive Database by Fernando Sáenz-Pérez shows how relational features can
be supported in a tabled deductive database with datalog as query language. In addition, Test-
Case Generation for SQL Nested Queries with Existential Conditions by Rafael Caballero et
al. proposes an approach for the generation of positive test-cases of databases by reducing the
problem to a constraint satisfaction problem. And, finally, String-based Multi-adjoint Lattices
for Tracing Fuzzy Logic Computations by Pedro J. Morcillo et al. introduces the notion of multi-
adjoint lattices to model uncertainty during the debugging of fuzzy logic-based systems.

I would like to thank the authors of the papers presented at the meeting, the members of the
Program Committee and the external reviewers for their excellent work. I am also grateful to
Prof. Maribel Fernández from King’s College London for her interesting talk given during the
meeting entitled Strategy-Driven Graph Transformations in PORGY.

I would like to thank the organization committee of the University of Almerı́a, led by Prof.
Luis Iribarne, for their excellent work in the preparation and development of PROLE’12. Finally,
I am grateful to the Spanish Association of Software Engineering and Technology of Software
Development (SISTEDES) for their continued support in the annual celebration of PROLE.

Málaga, April 2013
M.G.

1 / 1 Volume 55 (2012)