Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers by Germ PueblaLogic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers by Germ Puebla

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice…

byGerm Puebla

Paperback | March 16, 2007

Pricing and Purchase Info

$104.20 online 
$124.50 list price save 16%
Earn 521 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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, July 2006 in conjunction with ICALP 2006, PPDP 2006, and CSFW 2006. The 14 revised full papers cover tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

Title:Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice…Format:PaperbackDimensions:240 pages, 23.5 × 15.5 × 0.07 inPublished:March 16, 2007Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:354071409X

ISBN - 13:9783540714095

Look for similar items by category:

Reviews

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.