Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers (Lecture Notes in Computer Science)

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis. Front Matter....Pages - How to Talk to a Human: The Semantic Web and the Clash of the Titans....Pages 1-14 CHESS: Systematic Stress Testing of Concurrent Software....Pages 15-16 ARM : Automatic Rule Miner....Pages 17-25 Constructing Consensus Logic Programs....Pages 26-42 Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques....Pages 43-59 Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs....Pages 60-76 Towards Description and Optimization of Abstract Machines in an Extension of Prolog....Pages 77-93 Combining Different Proof Techniques for Verifying Information Flow Security....Pages 94-110 On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors....Pages 111-126 Synthesis of Asynchronous Systems....Pages 127-142 A Comparative Study of Algorithmic Debugging Strategies....Pages 143-159 A Program Transformation for Tracing Functional Logic Computations....Pages 160-176 Automated Termination Analysis for Logic Programs by Term Rewriting....Pages 177-193 Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator....Pages 194-209 Polytool: Proving Termination Automatically Based on Polynomial Interpretations....Pages 210-218 Grids: A Domain for Analyzing the Distribution of Numerical Values....Pages 219-235 Back Matter....Pages -

This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2006, held in Venice, Italy in July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006.

The 14 revised full papers presented together with 2 invited talks were carefully selected and revised from 41 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

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.