Logic-based program synthesis and transformation : 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 : revised selected papers

Annotation 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 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 - This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012.