Declarative Compilation for Constraint Logic Programming

Abstract

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