Skip to main content
SpringerLink
Log in

Logic-Based Program Synthesis and Transformation

21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Germán Vidal

    1. MiST, DSIC, Universitat Politècnica de València, Valencia, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • State of the art research
  • Fast track conference proceedings
  • Up to date results

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

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

Included in the following conference series:

Conference proceedings info: LOPSTR 2011.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
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 (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Analysis of Logic Programs Using Regular Tree Languages

    • John P. Gallagher
    Pages 1-3

  3. Dynamic Symbolic Computation for Domain-Specific Language Implementation

    • Fritz Henglein
    Pages 4-24

  4. Resource-Driven CLP-Based Test Case Generation

    • Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas
    Pages 25-41

  5. A Declarative Embedding of XQuery in a Functional-Logic Language

    • Jesús M. Almendros-Jiménez, Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez
    Pages 42-56

  6. Automata-Based Computation of Temporal Equilibrium Models

    • Pedro Cabalar, Stéphane Demri
    Pages 57-72

  7. Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

    • Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
    Pages 73-89

  8. Clones in Logic Programs and How to Detect Them

    • Céline Dandois, Wim Vanhoof
    Pages 90-105

  9. Using Real Relaxations during Program Specialization

    • Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Pages 106-122

  10. Marker-Directed Optimization of UnCAL Graph Transformations

    • Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano et al.
    Pages 123-138

  11. Modular Extensions for Modular (Logic) Languages

    • José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé
    Pages 139-154

  12. Meta-predicate Semantics

    • Paulo Moura
    Pages 155-172

  13. A Strategy Language for Graph Rewriting

    • Maribel Fernández, Hélène Kirchner, Olivier Namet
    Pages 173-188

  14. Improved Termination Analysis of CHR Using Self-sustainability Analysis

    • Paolo Pilozzi, Danny De Schreye
    Pages 189-204

  15. Proving Properties of Co-Logic Programs by Unfold/Fold Transformations

    • Hirohisa Seki
    Pages 205-220

  16. Probabilistic Termination of CHRiSM Programs

    • Jon Sneyers, Danny De Schreye
    Pages 221-236

  17. A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog

    • Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs
    Pages 237-252

  18. Back Matter

    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 proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Editors and Affiliations

  • MiST, DSIC, Universitat Politècnica de València, Valencia, Spain

    Germán Vidal

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation