02639nam 2200553 a 450 991048321550332120200520144314.01-280-38633-997866135642523-642-12592-110.1007/978-3-642-12592-8(CKB)2670000000017282(SSID)ssj0000446607(PQKBManifestationID)11281732(PQKBTitleCode)TC0000446607(PQKBWorkID)10497897(PQKB)11305348(DE-He213)978-3-642-12592-8(MiAaPQ)EBC3065232(PPN)149073259(EXLCZ)99267000000001728220100310d2010 uy 0engurnn|008mamaatxtccrLogic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009 : revised selected papers /Danny De Schreye (ed.)1st ed. 2010.New York Springer20101 online resource (X, 205 p. 29 illus.) Lecture notes in computer science,0302-9743 ;6037Bibliographic Level Mode of Issuance: Monograph3-642-12591-3 Includes bibliographical references and author index.Towards Scalable Partial Evaluation of Declarative Programs -- Deciding Full Branching Time Logic by Program Transformation -- A Transformational Approach for Proving Properties of the CHR Constraint Store -- The Dependency Triple Framework for Termination of Logic Programs -- Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing -- LP with Flexible Grouping and Aggregates Using Modes -- On Inductive and Coinductive Proofs via Unfold/Fold Transformations -- Coinductive Logic Programming with Negation -- Refining Exceptions in Four-Valued Logic -- Towards a Framework for Constraint-Based Test Case Generation -- Using Rewrite Strategies for Testing BUpL Agents -- Towards Just-In-Time Partial Evaluation of Prolog -- Program Parallelization Using Synchronized Pipelining -- Defining Datalog in Rewriting Logic.Lecture notes in computer science ;6037.Logic programmingCongressesLogic programming005.11De Schreye Danny1762320LOPSTR (Symposium)MiAaPQMiAaPQMiAaPQBOOK9910483215503321Logic-based program synthesis and transformation4202181UNINA