03916nam 22007455 450 99646577850331620200702115349.03-540-45142-010.1007/3-540-45142-0(CKB)1000000000211486(SSID)ssj0000324493(PQKBManifestationID)11282660(PQKBTitleCode)TC0000324493(PQKBWorkID)10313419(PQKB)10646677(DE-He213)978-3-540-45142-6(MiAaPQ)EBC3073015(PPN)155183591(EXLCZ)99100000000021148620121227d2001 u| 0engurnn|008mamaatxtccrLogic Based Program Synthesis and Transformation[electronic resource] 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /edited by Kung-Kiu Lau1st ed. 2001.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2001.1 online resource (VIII, 188 p.) Lecture Notes in Computer Science,0302-9743 ;2042Bibliographic Level Mode of Issuance: Monograph3-540-42127-0 Includes bibliographical references at the end of each chapters and index.Synthesis -- A Formal Framework for Synthesis and Verification of Logic Programs -- Protocols between Programs and Proofs -- Protocols between Programs and Proofs -- A Technique for Modular Logic Program Refinement -- A Technique for Modular Logic Program Refinement -- Transformation -- Higher-Order Transformation of Logic Programs -- Analysis -- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings -- Specialisation -- A Model for Inter-module Analysis and Optimizing Compilation -- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages -- Automated Strategies for Specializing Constraint Logic Programs -- Abstract Interpretation -- Measuring the Precision of Abstract Interpretations -- Debugging -- Specifying Prolog Trace Models with a Continuation Semantics.Lecture Notes in Computer Science,0302-9743 ;2042Software engineeringComputer logicComputer programmingArtificial intelligenceMathematical logicSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Software engineering.Computer logic.Computer programming.Artificial intelligence.Mathematical logic.Software Engineering/Programming and Operating Systems.Logics and Meanings of Programs.Programming Techniques.Artificial Intelligence.Mathematical Logic and Formal Languages.005.1/15Lau Kung-Kiuedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Logic-Based Program Synthesis and TransformationMiAaPQMiAaPQMiAaPQBOOK996465778503316Logic Based Program Synthesis and Transformation772041UNISA