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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Puebla, Germán (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4407
• Θέματα: Computer science.; Software engineering.; Computer programming.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Formal Languages.; Artificial Intelligence (incl. Robotics).

Πίνακας περιεχομένων:

• 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.