© 2018

Logic-Based Program Synthesis and Transformation

27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

  • Fabio Fioravanti
  • John P. Gallagher
Conference proceedings LOPSTR 2017

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10855)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10855)

Table of contents

  1. Front Matter
    Pages I-XVI
  2. Analysis

    1. Front Matter
      Pages 1-1
    2. Elvira Albert, Miguel Gómez-Zamalloa, Miguel Isabel
      Pages 3-19
    3. Christiane Engels, Andreas Behrend, Stefan Brass
      Pages 20-36
    4. Cosimo Laneve, Abel Garcia
      Pages 37-53
    5. Umer Liqat, Zorana Banković, Pedro Lopez-Garcia, Manuel V. Hermenegildo
      Pages 54-72
    6. Huu-Vu Nguyen, Tayssir Touili
      Pages 73-90
  3. Program Development

    1. Front Matter
      Pages 91-91
    2. Michele Alberti, Julien Signoles
      Pages 93-111
    3. Gergö Barany
      Pages 112-127
    4. David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit
      Pages 128-144
  4. Term Rewriting and CHR

  5. Theory

    1. Front Matter
      Pages 199-199
    2. Stephen Skeirik, Andrei Stefanescu, José Meseguer
      Pages 201-217
    3. Mauricio Ayala-Rincón, Washington de Carvalho-Segundo, Maribel Fernández, Daniele Nantes-Sobrinho
      Pages 235-251

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held in Namur, Belgium, in October 2017.

The 19 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 19 revised papers, this volume includes the abstracts of the invited talks by three outstanding speakers: Sumit Gulwani, Marieke Huisman, and Grigore Roşu. 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 SE, inversion, applications, and tools.


artificial intelligence codes computer architecture constraint programming deadlock formal logic formal methods logic programming model checking program compilers programming languages semantics software engineering software evaluation symbols theorem proving verification

Editors and affiliations

  1. 1.University of Chieti-PescaraPescaraItaly
  2. 2.Roskilde UniversityRoskildeDenmark

Bibliographic information