Skip to main content
SpringerLink
Log in

Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Manuel V Hermenegildo

    1. IMDEA Software Institute and Universidad Politécnica de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pedro Lopez-Garcia

    1. IMDEA Software Institute and CSIC, Madrid, Spain

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

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

Included in the following conference series:

Conference proceedings info: LOPSTR 2016.

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

  1. Front Matter

    Pages I-XVI
    Download chapter PDF

  2. Program Transformation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms

      • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
      Pages 3-20

    3. A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

      • Elvira Albert, Nikolaos Bezirgiannis, Frank de Boer, Enrique Martin-Martin
      Pages 21-37

    4. Verification of Time-Aware Business Processes Using Constrained Horn Clauses

      • Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo, Alberto Pettorossi, Maurizio Proietti
      Pages 38-55

  3. Constraint Programming

    1. Front Matter

      Pages 57-57
      Download chapter PDF

    2. MiniZinc with Strings

      • Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D. Scott, Peter J. Stuckey, Guido Tack
      Pages 59-75

    3. Slicing Concurrent Constraint Programs

      • Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi
      Pages 76-93

  4. Compilation and Optimization

    1. Front Matter

      Pages 95-95
      Download chapter PDF

    2. A New Functional-Logic Compiler for Curry: Sprite

      • Sergio Antoy, Andy Jost
      Pages 97-113

    3. lpopt: A Rule Optimization Tool for Answer Set Programming

      • Manuel Bichler, Michael Morak, Stefan Woltran
      Pages 114-130

    4. Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs

      • Ginés Moreno, Jaime Penabad, José A. Riaza, Germán Vidal
      Pages 131-147

  5. Analysis and Verification

    1. Front Matter

      Pages 149-149
      Download chapter PDF

    2. Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators

      • Bin Fang, Mihaela Sighireanu
      Pages 151-167

    3. A Productivity Checker for Logic Programming

      • Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt
      Pages 168-186

    4. Symbolic Abstract Contract Synthesis in a Rewriting Framework

      • María Alpuente, Daniel Pardo, Alicia Villanueva
      Pages 187-202
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 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, in September 2016.

The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion,applications, and tools.

Editors and Affiliations

  • IMDEA Software Institute and Universidad Politécnica de Madrid, Madrid, Spain

    Manuel V Hermenegildo

  • IMDEA Software Institute and CSIC, Madrid, Spain

    Pedro Lopez-Garcia

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation