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

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

    1. Front Matter
      Pages 1-1
    2. Analyzing Array Manipulating Programs by Program Transformation
      J. Robert M. Cornish, Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
      Pages 3-20
    3. Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
      Danny De Schreye, Vincent Nys, Colin Nicholson
      Pages 21-38
  3. Constraint Handling Rules

    1. Front Matter
      Pages 39-39
    2. Confluence Modulo Equivalence in Constraint Handling Rules
      Henning Christiansen, Maja H. Kirkeby
      Pages 41-58
    3. Exhaustive Execution of CHR Through Source-to-Source Transformation
      Ahmed Elsawy, Amira Zaki, Slim Abdennadher
      Pages 59-73
    4. A Formal Semantics for the Cognitive Architecture ACT-R
      Daniel Gall, Thom Frühwirth
      Pages 74-91
    5. CHRAnimation: An Animation Tool for Constraint Handling Rules
      Nada Sharaf, Slim Abdennadher, Thom Frühwirth
      Pages 92-110
  4. Termination Analysis

    1. Front Matter
      Pages 111-111
    2. Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems
      Salvador Lucas, José Meseguer, Raúl Gutiérrez
      Pages 113-130
  5. Security

    1. Front Matter
      Pages 131-131
    2. Partial Evaluation for Java Malware Detection
      Ranjeet Singh, Andy King
      Pages 133-147
    3. Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
      Sandra Alves, Anatoli Degtyarev, Maribel Fernández
      Pages 148-163
  6. Program Testing and Verification

    1. Front Matter
      Pages 165-165
    2. Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications
      Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi
      Pages 182-198
  7. Program Synthesis

About these proceedings


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.


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