Skip to main content
SpringerLink
Log in
Book cover

Logic-Based Program Synthesis and Transformation

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Maurizio Proietti

    1. IASI-CNR, Rome, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hirohisa Seki

    1. Nagoya Institute of Technology, Nagoya, Japan

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

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

Included in the following conference series:

Conference proceedings info: LOPSTR 2014.

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

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. Program Analysis and Transformation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

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

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

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

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

    2. Concolic Execution and Test Case Generation in Prolog

      • Germán Vidal
      Pages 167-181

    3. Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications

      • Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi
      Pages 182-198
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 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.

Editors and Affiliations

  • IASI-CNR, Rome, Italy

    Maurizio Proietti

  • Nagoya Institute of Technology, Nagoya, Japan

    Hirohisa Seki

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation