Skip to main content
SpringerLink
Log in
Book cover

Logic-Based Program Synthesis and Transformation

20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. María Alpuente

    1. ELP-DSIC, U. Politécnica de Valencia, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • up-to-date results
  • fast track conference proceedings
  • state-of-the-art report

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

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

Included in the following conference series:

Conference proceedings info: LOPSTR 2010.

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

  1. Front Matter

    Download chapter PDF

  2. Three Syntactic Theories for Combinatory Graph Reduction

    • Olivier Danvy, Ian Zerny
    Pages 1-20

  3. Analysis of Air Traffic Track Data with the AutoBayes Synthesis System

    • Johann Schumann, Karen Cate, Alan Lee
    Pages 21-36

  4. Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System

    • Jónathan Heras, Vico Pascual, Julio Rubio
    Pages 37-51

  5. Graph Generation to Statically Represent CSP Processes

    • Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit
    Pages 52-66

  6. Verification of the Schorr-Waite Algorithm – From Trees to Graphs

    • Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel
    Pages 67-83

  7. MikiBeta : A General GUI Library for Visualizing Proof Trees

    • Kanako Sakurai, Kenichi Asai
    Pages 84-98

  8. Compositional CLP-Based Test Data Generation for Imperative Languages

    • Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla
    Pages 99-116

  9. On Inductive Proofs by Extended Unfold/Fold Transformation Rules

    • Hirohisa Seki
    Pages 117-132

  10. Non-termination Analysis of Logic Programs Using Types

    • Dean Voets, Danny De Schreye
    Pages 133-148

  11. Scaling Up Algorithmic Debugging with Virtual Execution Trees

    • David Insa, Josep Silva
    Pages 149-163

  12. Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation

    • Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni
    Pages 164-183

  13. Dependency Triples for Improving Termination Analysis of Logic Programs with Cut

    • Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl
    Pages 184-199

  14. A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs

    • Germán Vidal
    Pages 200-214

  15. Abstract Diagnosis of First Order Functional Logic Programs

    • Giovanni Bacci, Marco Comini
    Pages 215-233

  16. The First-Order Nominal Link

    • Christophe Calvès, Maribel Fernández
    Pages 234-248

  17. 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 post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.

Editors and Affiliations

  • ELP-DSIC, U. Politécnica de Valencia, Spain

    María Alpuente

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation