Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

✍ Scribed by Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2011
• Tongue: English
• Leaves: 260
• Series: Lecture Notes in Computer Science 6564
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages -
Three Syntactic Theories for Combinatory Graph Reduction....Pages 1-20
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System....Pages 21-36
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System....Pages 37-51
Graph Generation to Statically Represent CSP Processes....Pages 52-66
Verification of the Schorr-Waite Algorithm – From Trees to Graphs....Pages 67-83
MikiBeta : A General GUI Library for Visualizing Proof Trees....Pages 84-98
Compositional CLP-Based Test Data Generation for Imperative Languages....Pages 99-116
On Inductive Proofs by Extended Unfold/Fold Transformation Rules....Pages 117-132
Non-termination Analysis of Logic Programs Using Types....Pages 133-148
Scaling Up Algorithmic Debugging with Virtual Execution Trees....Pages 149-163
Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation....Pages 164-183
Dependency Triples for Improving Termination Analysis of Logic Programs with Cut....Pages 184-199
A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs....Pages 200-214
Abstract Diagnosis of First Order Functional Logic Programs....Pages 215-233
The First-Order Nominal Link....Pages 234-248
Back Matter....Pages -

✦ Subjects

Software Engineering; Programming Techniques; Logics and Meanings of Programs; Artificial Intelligence (incl. Robotics); Algorithms