Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014 Canterbury, UK, September 9-11, 2014 Revised Selected Papers

This volume contains a selection of the papers presented at LOPSTR 2014, the 24th International Symposium on Logic-Based Program Synthesis and Transformation held during September 9-11, 2014 at the University of Kent, Canterbury, UK. It was colocated with PPDP 2014, the 16th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Previous LOPSTR symposia were held in Madrid (2013 and 2002), Leuven (2012 and 1997), Odense (2011), Hagenberg (2010), Coimbra (2009), Valencia (2008), Lyngby (2007), Venice (2006 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Paphos (2001), Manchester (1998, 1992 and 1991), Stockholm (1996), Arnhem (1995), Pisa (1994), and Louvain-la- Neuve (1993). More information about the symposium can be found at: http://www.iasi.cnr.it/events/lopstr14/. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in software engineering, inversion, applications, and tools. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. Formal proceedings are produced only after the symposium so that authors can incorporate this feedback in the published papers. In response to the call for papers, 34 contributions were submitted from 21 different countries. The Program Committee accepted 7 full papers for immediate inclusion in the formal proceedings, and 11 more papers presented at the symposium were accepted after a revision and another round of reviewing. Each submission was reviewed by at least 2 and on the average 3.0, Program Committee members or external referees. In addition to the 18 contributed papers, this volume includes the abstracts of the invited talks by two outstanding speakers: Roberto Giacobazzi (University of Verona, Italy), shared with PPDP and Viktor Kuncak (EPFL, Switzerland). We would like to thank the Program Committee members, who worked diligently to produce high-quality reviews for the submitted papers, as well as all the external reviewers involved in the paper selection. We are very grateful to the LOPSTR 2014 General Co-chairs, Olaf Chitil and Andy King, and the local organizers for the great job they did in managing the symposium. Many thanks also to Olivier Danvy, the Program Committee Chair of PPDP, with whom we often interacted for coordinating the two events. We are grateful to Emanuele De Angelis and Fabrizio Smith, who helped us in maintaining the LOPSTR web site and editing these proceedings. We would also like to thank Andrei Voronkov for his excellent EasyChair system that automates many of the tasks involved in chairing a conference. Special thanks go to all the authors who submitted and presented their papers at LOPSTR 2014, without whom the symposium would have not been possible. Finally, Maurizio Proietti gratefully acknowledges financial support from the Italian National Group of Computing Science (GNCS-INDAM).