Skip to main content
  • Conference proceedings
  • © 2012

Logic-Based Program Synthesis and Transformation

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

Editors:

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

Conference series link(s): LOPSTR: International Symposium on Logic-Based Program Synthesis and Transformation

Conference proceedings info: LOPSTR 2011.

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (16 papers)

  1. Front Matter

  2. Resource-Driven CLP-Based Test Case Generation

    • Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas
    Pages 25-41
  3. 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
  4. Automata-Based Computation of Temporal Equilibrium Models

    • Pedro Cabalar, Stéphane Demri
    Pages 57-72
  5. Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees

    • Rafael Caballero, Adrián Riesco, Alberto Verdejo, Narciso Martí-Oliet
    Pages 73-89
  6. Clones in Logic Programs and How to Detect Them

    • Céline Dandois, Wim Vanhoof
    Pages 90-105
  7. Using Real Relaxations during Program Specialization

    • Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Pages 106-122
  8. Marker-Directed Optimization of UnCAL Graph Transformations

    • Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano et al.
    Pages 123-138
  9. Modular Extensions for Modular (Logic) Languages

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

    • Paulo Moura
    Pages 155-172
  11. A Strategy Language for Graph Rewriting

    • Maribel Fernández, Hélène Kirchner, Olivier Namet
    Pages 173-188
  12. Improved Termination Analysis of CHR Using Self-sustainability Analysis

    • Paolo Pilozzi, Danny De Schreye
    Pages 189-204
  13. Probabilistic Termination of CHRiSM Programs

    • Jon Sneyers, Danny De Schreye
    Pages 221-236
  14. 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
  15. Back Matter

Other Volumes

  1. Logic-Based Program Synthesis and Transformation

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.

Keywords

  • analysis
  • domain-specific languages
  • graph transformations
  • logic programs
  • semantics

Editors and Affiliations

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

    Germán Vidal

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions