Logic-Based Program Synthesis and Transformation

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

  • Maurizio Proietti
  • Hirohisa Seki
Conference proceedings LOPSTR 2014

DOI: 10.1007/978-3-319-17822-6

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

Table of contents

  1. Front Matter
    Pages I-XII
  2. Program Analysis and Transformation

    1. Front Matter
      Pages 1-1
    2. J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
      Pages 3-20
    3. Danny De Schreye, Vincent Nys, Colin Nicholson
      Pages 21-38
  3. Constraint Handling Rules

    1. Front Matter
      Pages 39-39
    2. Henning Christiansen, Maja H. Kirkeby
      Pages 41-58
    3. Ahmed Elsawy, Amira Zaki, Slim Abdennadher
      Pages 59-73
    4. Daniel Gall, Thom Frühwirth
      Pages 74-91
    5. Nada Sharaf, Slim Abdennadher, Thom Frühwirth
      Pages 92-110
  4. Termination Analysis

    1. Front Matter
      Pages 111-111
    2. Salvador Lucas, José Meseguer, Raúl Gutiérrez
      Pages 113-130
  5. Security

    1. Front Matter
      Pages 131-131
    2. Ranjeet Singh, Andy King
      Pages 133-147
    3. Sandra Alves, Anatoli Degtyarev, Maribel Fernández
      Pages 148-163
  6. Program Testing and Verification

    1. Front Matter
      Pages 165-165
    2. Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi
      Pages 182-198
  7. Program Synthesis

About these proceedings

Introduction

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014.

The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming, and program transformation and optimization.

Keywords

Answer set programming Constraint logic programming Declarative debugging Formal methods Formal semantics Languages Logic programming Operational semantics Program analysis Program semantics Program synthesis Program transformation Program verification Semantics and reasoning Software notation and tools Software security Software testing Static analysis Term rewriting systems Verification

Editors and affiliations

  • Maurizio Proietti
    • 1
  • Hirohisa Seki
    • 2
  1. 1.IASI-CNRRomeItaly
  2. 2.Nagoya Institute of TechnologyNagoyaJapan

Bibliographic information

  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-17821-9
  • Online ISBN 978-3-319-17822-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349