Electronic Communications of the EASST Volume 64 (2013) Proceedings of the XIII Spanish Conference on Programming and Computer Languages (PROLE 2013) Preface 2 pages Guest Editors: Clara Benac Earle, Laura Castro, Lars-Åke Fredlund 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 This volume contains a selection of the papers presented at the Thirteenth Spanish Conference on Programming and Computer Languages, PROLE 2013, held in Madrid, Spain, on September 18 to 20, 2013. This edition of PROLE was co-located with a large number of other Spanish computer science conferences under the umbrella of the Fourth Spanish Conference on Computer Science (CEDI 2013). For thirteen years now, the Spanish Conference on Programming and Computer Languages (PROLE) has brought together mainly Spanish researchers interested in the formal definition, implementation, and analysis of programming languages. In the 2013 meeting, 22 papers were accepted after a thorough review process. A non- exhaustive list of the areas of interest covered includes logic/functional/logic-functional pro- gramming and applications, program semantics, program transformation, databases, constraint- logic programming, formal aspects of software engineering, and model checking. After the meeting, the program committee selected the six papers which are included in this volume of ECEASST. Authors were invited to improve their papers with comments received at the meet- ing, and as a result of the selection process. We 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 contribution to the success of the conference. We are also grateful to Olaf Chitil, from the University of Kent, for his interesting invited talk, “Typed Lazy Contracts”. Furthermore, we would like to thank the members of the organization committee for CEDI 2013 (Universidad Computense de Madrid, Universidad Politécnica de Madrid, Universidad Nacional de Educación a Distancia), for their help with the organization of PROLE 2013. Finally, we acknowledge the Spanish Association of Software Engineering and Technology of Software Development (SISTEDES) for their continued support of the annual celebration of PROLE. Clara Benac Earle Laura M. Castro Lars-Åke Fredlund 1 / 2 Volume 64 (2013) Preface Programme Committee Jesús Almendros Marisa Navarro Marı́a Alpuente Albert Oliveras Anindya Banerjee Fernando Orejas Miquel Bofill Yolanda Ortega Manuel Carro Francisco Ortı́n Laura M. Castro Ricardo Peña Marı́a del Mar Gallardo Fernando Rosa Velardo Francisco Duran Julio Rubio Samir Genaim Fernando Sáenz Pérez Paqui Lucio Josep Silva Julio Mariño Alicia Villanueva Ginés Moreno External Reviewers Javier Álvez Jose Morales Giovanni Bacci Adrián Riesco Clara Benac Earle Ricardo Rodrı́guez Javier Espert Ilya Sergey Rémy Haemmerlé Salvador Tamarit Montserrat Hermo Antonio Becerra Terón David Insa Luca Torella Marı́a Martos-Salgado Programme Chair Lars-Åke Fredlund Proc. PROLE 2013 2 / 2