03966nam 22008055 450 99646586690331620230220141543.01-280-86484-297866108648433-540-71410-310.1007/978-3-540-71410-1(CKB)1000000000284119(SSID)ssj0000301961(PQKBManifestationID)11251738(PQKBTitleCode)TC0000301961(PQKBWorkID)10265126(PQKB)10742027(DE-He213)978-3-540-71410-1(MiAaPQ)EBC3061512(MiAaPQ)EBC6806111(Au-PeEL)EBL6806111(OCoLC)185026835(PPN)123161177(EXLCZ)99100000000028411920100301d2007 u| 0engurnn|008mamaatxtccrLogic-Based Program Synthesis and Transformation[electronic resource] 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /edited by Germán Puebla1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (VIII, 240 p.) Theoretical Computer Science and General Issues,2512-2029 ;4407Includes index.3-540-71409-X Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;4407Software engineeringComputer scienceComputer programmingMachine theoryArtificial intelligenceSoftware EngineeringComputer Science Logic and Foundations of ProgrammingProgramming TechniquesFormal Languages and Automata TheoryArtificial IntelligenceSoftware engineering.Computer science.Computer programming.Machine theory.Artificial intelligence.Software Engineering.Computer Science Logic and Foundations of Programming.Programming Techniques.Formal Languages and Automata Theory.Artificial Intelligence.005.1Puebla GermánLOPSTR (Symposium)MiAaPQMiAaPQMiAaPQBOOK996465866903316Logic-Based Program Synthesis and Transformation2914320UNISA