Logic-Based Program Synthesis and Transformation

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

  • María Alpuente
Conference proceedings LOPSTR 2010

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

Table of contents

  1. Front Matter
    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
    PDF

About these proceedings

Introduction

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.

Keywords

Formal Methods Partial Evaluation Programming languages Systems Modelling Type Systems

Editors and affiliations

  • María Alpuente
    • 1
  1. 1.ELP-DSICU. Politécnica de ValenciaSpain

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-20551-4
  • Copyright Information Springer Berlin Heidelberg 2011
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-20550-7
  • Online ISBN 978-3-642-20551-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site