04401nam 22007935 450 991014387440332120200706031421.03-540-45607-410.1007/3-540-45607-4(CKB)1000000000212011(SSID)ssj0000324494(PQKBManifestationID)11254567(PQKBTitleCode)TC0000324494(PQKBWorkID)10313079(PQKB)10980849(DE-He213)978-3-540-45607-0(MiAaPQ)EBC3072460(PPN)155187066(EXLCZ)99100000000021201120121227d2002 u| 0engurnn|008mamaatxtccrLogic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers /edited by Alberto Pettorossi1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (VIII, 272 p.) Lecture Notes in Computer Science,0302-9743 ;2372Bibliographic Level Mode of Issuance: Monograph3-540-43915-3 Includes bibliographical references and index.Invited Speaker -- Static Analysis for Safe Destructive Updates in a Functional Language -- Program Transformation and Equivalence -- A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs -- On Deforesting Parameters of Accumulating Maps -- Equivalence in Answer Set Programming -- Program Verificaion -- Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols -- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking -- Verification of Sets of Infinite State Processes Using Program Transformation -- Program Analysis -- When Size Does Matter -- Symbolic Profiling for Multi-paradigm Declarative Languages -- Program Development -- Correct Object-Oriented Systems in Computational Logic -- A Framework for Developing Embeddable Customized Logics -- Computing Environment-Aware Agent Behaviours with Logic Program Updates -- Program Synthesis -- Extracting General Recursive Program Schemes in Nuprl’s Type Theory -- Extracting Exact Time Bounds from Logical Proofs.Lecture Notes in Computer Science,0302-9743 ;2372Software engineeringComputer architectureComputer logicComputer programmingArtificial intelligenceLogic, Symbolic and mathematicalSoftware Engineering/Programming and Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14002Computer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Logics 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 architecture.Computer logic.Computer programming.Artificial intelligence.Logic, Symbolic and mathematical.Software Engineering/Programming and Operating Systems.Computer System Implementation.Logics and Meanings of Programs.Programming Techniques.Artificial Intelligence.Mathematical Logic and Formal Languages.005.1/5Pettorossi Albertoedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Logic-Based Program Synthesis and TransformationMiAaPQMiAaPQMiAaPQBOOK9910143874403321Logic-Based Program Synthesis and Transformation2914320UNINA