Logic-Based Program Synthesis and Transformation

1. Front Matter

   Pages i-xvi

   PDF

2. Static Analysis

   1. Front Matter

      Pages 1-1

      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

      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

      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

      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

      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

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

• University of Bologna, Bologna, Italy

  Maurizio Gabbrielli

Policies and ethics