03545nam 22006495 450 99646582320331620230406001310.010.1007/b137785(CKB)1000000000213092(SSID)ssj0000318693(PQKBManifestationID)11923603(PQKBTitleCode)TC0000318693(PQKBWorkID)10311014(PQKB)11296123(DE-He213)978-3-540-31683-1(MiAaPQ)EBC3067622(PPN)123095859(EXLCZ)99100000000021309220100718d2005 u| 0engurnn|008mamaatxtccrLogic Based Program Synthesis and Transformation[electronic resource] 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /edited by Sandro Etalle1st ed. 2005.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2005.1 online resource (VIII, 284 p.) Theoretical Computer Science and General Issues,2512-2029 ;3573Bibliographic Level Mode of Issuance: MonographPrinted edition: 9783540266556 Includes bibliographical references and index.Verification and Analysis -- Searching Semantically Equivalent Code Fragments in Logic Programs -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs -- Fully Automatic Binding-Time Analysis for Prolog -- Theory and Security -- Logical Mobility and Locality Types -- Unwinding Conditions for Security in Imperative Languages -- Natural Rewriting for General Term Rewriting Systems -- Transformations -- Negation Elimination for Finite PCFGs -- Specialization of Concurrent Guarded Multi-set Transformation Rules -- Efficient Local Unfolding with Ancestor Stacks for Full Prolog -- Program Development -- Schema-Guided Synthesis of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive Specifications for Compositional Units -- Termination -- Input-Termination of Logic Programs -- On Termination of Binary CLP Programs -- Program Development and Synthesis -- From Natural Semantics to Abstract Machines -- Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.Theoretical Computer Science and General Issues,2512-2029 ;3573Computer scienceComputer programmingMachine theoryArtificial intelligenceComputer Science Logic and Foundations of ProgrammingProgramming TechniquesFormal Languages and Automata TheoryArtificial IntelligenceComputer science.Computer programming.Machine theory.Artificial intelligence.Computer Science Logic and Foundations of Programming.Programming Techniques.Formal Languages and Automata Theory.Artificial Intelligence.005.1/15Etalle Sandroedthttp://id.loc.gov/vocabulary/relators/edtLOPSTR (Symposium)BOOK996465823203316Logic-Based Program Synthesis and Transformation2914320UNISA