Skip to main content
SpringerLink
Log in

Logic-Based Program Synthesis and Transformation

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

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Fred Mesnard

    1. University of Reunion Island, Sainte-Clotilde, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter J. Stuckey

    1. Monash University, Melbourne, Australia

    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 11408)

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

Included in the following conference series:

Conference proceedings info: LOPSTR 2018.

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 (11 papers)

  1. Front Matter

    Pages I-XX
    Download chapter PDF

  2. Analysis of Term Rewriting

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Proving Program Properties as First-Order Satisfiability

      • Salvador Lucas
      Pages 3-21

    3. Guided Unfoldings for Finding Loops in Standard Term Rewriting

      • Étienne Payet
      Pages 22-37

    4. Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms

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

    2. Multiparty Classical Choreographies

      • Marco Carbone, Luís Cruz-Filipe, Fabrizio Montesi, Agata Murawska
      Pages 59-76

    3. A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

      • Petros Papapanagiotou, Jacques Fleuriot
      Pages 77-93

    4. Confluence of CHR Revisited: Invariants and Modulo Equivalence

      • Henning Christiansen, Maja H. Kirkeby
      Pages 94-111

  4. Analysis of Logic Programming

    1. Front Matter

      Pages 113-113
      Download chapter PDF

    2. Compiling Control as Offline Partial Deduction

      • Vincent Nys, Danny De Schreye
      Pages 115-131

    3. Predicate Specialization for Definitional Higher-Order Logic Programs

      • Antonis Troumpoukis, Angelos Charalambidis
      Pages 132-147

    4. An Assertion Language for Slicing Constraint Logic Languages

      • Moreno Falaschi, Carlos Olarte
      Pages 148-165

  5. Program Analysis

    1. Front Matter

      Pages 167-167
      Download chapter PDF

    2. Eliminating Unstable Tests in Floating-Point Programs

      • Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato
      Pages 169-183

    3. Multivariant Assertion-Based Guidance in Abstract Interpretation

      • Isabel Garcia-Contreras, Jose F. Morales, Manuel V. Hermenegildo
      Pages 184-201

  6. Back Matter

    Pages 203-203
    Download chapter PDF
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 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. 

Editors and Affiliations

  • University of Reunion Island, Sainte-Clotilde, France

    Fred Mesnard

  • Monash University, Melbourne, Australia

    Peter J. Stuckey

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation