ISBN-10:
354071409X
ISBN-13:
9783540714095
Pub. Date:
04/19/2007
Publisher:
Springer Berlin Heidelberg
Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / Edition 1

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / Edition 1

by Germïn Puebla

Paperback

Current price is , Original price is $89.99. You
Select a Purchase Option (2007)
  • purchase options
    $73.25 $89.99 Save 19% Current price is $73.25, Original price is $89.99. You Save 19%.
  • purchase options

Product Details

ISBN-13: 9783540714095
Publisher: Springer Berlin Heidelberg
Publication date: 04/19/2007
Series: Lecture Notes in Computer Science , #4407
Edition description: 2007
Pages: 240
Product dimensions: 6.10(w) x 9.25(h) x 0.02(d)

Table of Contents

Invited Talks.- How to Talk to a Human: The Semantic Web and the Clash of the Titans.- CHESS: Systematic Stress Testing of Concurrent Software.- Program Development.- ARM: Automatic Rule Miner.- Constructing Consensus Logic Programs.- Partial Evaluation and Program Transformation.- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques.- Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs.- Towards Description and Optimization of Abstract Machines in an Extension of Prolog.- Security and Synthesis.- Combining Different Proof Techniques for Verifying Information Flow Security.- On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors.- Synthesis of Asynchronous Systems.- Debugging and Testing.- A Comparative Study of Algorithmic Debugging Strategies.- A Program Transformation for Tracing Functional Logic Computations.- Termination and Analysis.- Automated Termination Analysis for Logic Programs by Term Rewriting.- Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator.- Polytool: Proving Termination Automatically Based on Polynomial Interpretations.- Grids: A Domain for Analyzing the Distribution of Numerical Values.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews