© 2019

Logic-Based Program Synthesis and Transformation

28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers

  • Fred Mesnard
  • Peter J. Stuckey
Conference proceedings LOPSTR 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XX
  2. Analysis of Term Rewriting

    1. Front Matter
      Pages 1-1
    2. María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
      Pages 38-55
  3. Logic-Based Distributed/Concurrent Programming

    1. Front Matter
      Pages 57-57
    2. Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
      Pages 59-76
    3. Henning Christiansen, Maja H. Kirkeby
      Pages 94-111
  4. Analysis of Logic Programming

    1. Front Matter
      Pages 113-113
    2. Vincent Nys, Danny De Schreye
      Pages 115-131
    3. Antonis Troumpoukis, Angelos Charalambidis
      Pages 132-147
    4. Moreno Falaschi, Carlos Olarte
      Pages 148-165
  5. Program Analysis

    1. Front Matter
      Pages 167-167
    2. Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato
      Pages 169-183
    3. Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo
      Pages 184-201
  6. Back Matter
    Pages 203-203

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.
The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis. 


logic-based program development program synthesis program transformation program specialization program composition program optimization program inversion program specification program analysis and verification program testing and certification program and model manipulation transformational techniques in software engineering

Editors and affiliations

  • Fred Mesnard
    • 1
  • Peter J. Stuckey
    • 2
  1. 1.University of Reunion IslandSainte-ClotildeFrance
  2. 2.Monash UniversityMelbourneAustralia

Bibliographic information