E-Book, Englisch, Band 4407, 240 Seiten, eBook
Puebla Logic-Based Program Synthesis and Transformation
2007
ISBN: 978-3-540-71410-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
E-Book, Englisch, Band 4407, 240 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-71410-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
