Skip to main content
SpringerLink
Log in
Book cover

Logic-Based Program Synthesis and Transformation

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

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Maurizio Gabbrielli

    1. University of Bologna, Bologna, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: LOPSTR 2019.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Static Analysis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics

      • Patrick Cousot
      Pages 3-18

    3. A General Framework for Static Cost Analysis of Parallel Logic Programs

      • Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
      Pages 19-35

    4. Incremental Analysis of Logic Programs with Assertions and Open Predicates

      • Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo
      Pages 36-56

    5. Computing Abstract Distances in Logic Programs

      • 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
      Download chapter PDF

    2. Synthesizing Imperative Code from Answer Set Programming Specifications

      • Sarat Chandra Varanasi, Elmer Salazar, Neeraj Mittal, Gopal Gupta
      Pages 75-89

    3. Verified Construction of Fair Voting Rules

      • Karsten Diekhoff, Michael Kirsten, Jonas Krämer
      Pages 90-104

  4. Constraints and Unification

    1. Front Matter

      Pages 105-105
      Download chapter PDF

    2. Solving Proximity Constraints

      • Temur Kutsia, Cleo Pau
      Pages 107-122

    3. A Certified Functional Nominal C-Unification Algorithm

      • Mauricio Ayala-Rincón, Maribel Fernández, Gabriel Ferreira Silva, Daniele Nantes-Sobrinho
      Pages 123-138

    4. Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming

      • Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta
      Pages 139-155

  5. Debugging and Verification

    1. Front Matter

      Pages 157-157
      Download chapter PDF

    2. An Integrated Approach to Assertion-Based Random Testing in Prolog

      • Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
      Pages 159-176

    3. Trace Analysis Using an Event-Driven Interval Temporal Logic

      • María-del-Mar Gallardo, Laura Panizo
      Pages 177-192

    4. The Prolog Debugger and Declarative Programming

      • Włodzimierz Drabent
      Pages 193-208

  6. Program Transformation

    1. Front Matter

      Pages 209-209
      Download chapter PDF

    2. A Port Graph Rewriting Approach to Relational Database Modelling

      • Maribel Fernández, Bruno Pinaud, János Varga
      Pages 211-227

    3. Generalization-Driven Semantic Clone Detection in CLP

      • Wim Vanhoof, Gonzague Yernaux
      Pages 228-242
Back to top

Other volumes

  1. Logic-Based Program Synthesis and Transformation

Keywords

About this book

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.

Editors and Affiliations

  • University of Bologna, Bologna, Italy

    Maurizio Gabbrielli

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation