© 2020

Logic-Based Program Synthesis and Transformation

29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers

  • Maurizio Gabbrielli
Conference proceedings LOPSTR 2019

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

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

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Static Analysis

    1. Front Matter
      Pages 1-1
    2. Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
      Pages 19-35
    3. Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo
      Pages 36-56
    4. Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo
      Pages 57-72
  3. Program Synthesis

    1. Front Matter
      Pages 73-73
    2. Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta
      Pages 75-89
    3. Karsten Diekhoff, Michael Kirsten, Jonas Krämer
      Pages 90-104
  4. Constraints and Unification

    1. Front Matter
      Pages 105-105
    2. Temur Kutsia, Cleo Pau
      Pages 107-122
    3. Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
      Pages 123-138
    4. Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta
      Pages 139-155
  5. Debugging and Verification

    1. Front Matter
      Pages 157-157
    2. Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
      Pages 159-176
    3. María-del-Mar Gallardo, Laura Panizo
      Pages 177-192
    4. Włodzimierz Drabent
      Pages 193-208
  6. Program Transformation

    1. Front Matter
      Pages 209-209
    2. Maribel Fernández, Bruno Pinaud, János Varga
      Pages 211-227
    3. Wim Vanhoof, Gonzague Yernaux
      Pages 228-242

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019. The 15 revised full papers were carefully reviewed and selected from 32 submissions. In addition to the 15 papers, this volume includes 2 invited papers.
The symposium cover all aspects of logic-based program development, stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This year LOPSTR extends its traditional topics to include also logic-based program development based on integration of sub-symbolic and symbolic models, on machine learning techniques and on differential semantics. The papers are grouped into the following topics: static analysis, program synthesis, constraints and unification, debugging and verification, and program transformation.


artificial intelligence computer hardware computer programming computer systems distributed computer systems distributed systems embedded systems formal logic linguistics logic programming mathematics parallel processing systems program compilers semantics software design software engineering software quality verification verification and validation

Editors and affiliations

  1. 1.University of BolognaBolognaItaly

Bibliographic information