LEADER 03922nam  22007575  450 
001 9910484218303321
005 20251226203151.0
010   $a3-642-00515-2
024 7 $a10.1007/978-3-642-00515-2
035   $a(CKB)1000000000714663
035   $a(SSID)ssj0000318719
035   $a(PQKBManifestationID)11254476
035   $a(PQKBTitleCode)TC0000318719
035   $a(PQKBWorkID)10311146
035   $a(PQKB)11250333
035   $a(DE-He213)978-3-642-00515-2
035   $a(MiAaPQ)EBC3068700
035   $a(PPN)132874970
035   $a(EXLCZ)991000000000714663
100   $a20100301d2009      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic-Based Program Synthesis and Transformation $e18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /$fedited by Michael Hanus
205   $a1st ed. 2009.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009.
215   $a1 online resource (IX, 185 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5438
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a3-642-00514-4 
320   $aIncludes bibliographical references and index.
327   $aSpace Invading Systems Code -- Test Data Generation of Bytecode by CLP Partial Evaluation -- A Modular Equational Generalization Algorithm -- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs -- Analysis of Linear Hybrid Systems in CLP -- Automatic Generation of Test Inputs for Mercury -- Analytical Inductive Functional Programming -- The MEB and CEB Static Analysis for CSP Specifications -- Fast Offline Partial Evaluation of Large Logic Programs -- An Inference Algorithm for Guaranteeing Safe Destruction -- From Monomorphic to Polymorphic Well-Typings and Beyond -- On Negative Unfolding in the Answer Set Semantics.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 18th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2008, held in Valencia, Spain, during July 17-18, 2008. The 11 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v5438
606   $aSoftware engineering
606   $aComputer programming
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aMachine theory
606   $aSoftware Engineering
606   $aProgramming Techniques
606   $aCompilers and Interpreters
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615  0$aMachine theory.
615 14$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aCompilers and Interpreters.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
676   $a005.1
701   $aHanus$b Michael$01227460
712 12$aLOPSTR (Symposium)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484218303321
996   $aLogic-based program synthesis and transformation$94196582
997   $aUNINA