LEADER 05144nam 22007335 450 001 9910144156303321 005 20200706113821.0 010 $a1-280-30772-2 010 $a9786610307722 010 $a3-540-25935-X 024 7 $a10.1007/b98156 035 $a(CKB)1000000000212418 035 $a(SSID)ssj0000140817 035 $a(PQKBManifestationID)11157281 035 $a(PQKBTitleCode)TC0000140817 035 $a(PQKBWorkID)10053207 035 $a(PQKB)10794776 035 $a(DE-He213)978-3-540-25935-0 035 $a(MiAaPQ)EBC3087304 035 $a(PPN)155229478 035 $a(EXLCZ)991000000000212418 100 $a20121227d2004 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDomain-Specific Program Generation $eInternational Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers /$fedited by Christian Lengauer, Don Batory, Charles Consel, Martin Odersky 205 $a1st ed. 2004. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2004. 215 $a1 online resource (XII, 332 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v3016 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-22119-0 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aSurveys -- The Road to Utopia: A Future for Generative Programming -- From a Program Family to a Domain-Specific Language -- A Gentle Introduction to Multi-stage Programming -- DSL Implementation in MetaOCaml, Template Haskell, and C++ -- Program Optimization in the Domain of High-Performance Parallelism -- A Personal Outlook on Generator Research -- Domain-Specific Languages -- Generic Parallel Programming Using C++ Templates and Skeletons -- The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain -- Embedding a Hardware Description Language in Template Haskell -- A DSL Paradigm for Domains of Services: A Study of Communication Services -- PiLib: A Hosted Language for Pi-Calculus Style Concurrency -- Tools for Program Generation -- A Language and Tool for Generating Efficient Virtual Machine Interpreters -- Program Transformation with Stratego/XT -- Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax -- Domain-Specific Optimization -- Optimizing Sequences of Skeleton Calls -- Domain-Specific Optimizations of Composed Parallel Components -- Runtime Code Generation in C++ as a Foundation for Domain-Specific Optimisation -- Guaranteed Optimization for Domain-Specific Programming. 330 $aProgram generation holds the promise of helping to bridge the gap between application-level problem solutions and efficient implementations at the level of today's source programs as written in C or Java. Thus, program generation can substantially contribute to reducing production cost and time-to-market in future software production, while improving the quality and stability of the product. This book is about domain-specific program generation; it is the outcome of a Dagstuhl seminar on the topic held in March 2003. After an introductory preface by the volume editors, the 18 carefully reviewed revised full papers presented are organized into topical sections on - surveys of domain-specific programming technologies - domain-specific programming languages - tool support for program generation - domain-specific techniques for program optimization. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v3016 606 $aSoftware engineering 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 14$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 676 $a005.13 702 $aLengauer$b Christian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBatory$b Don$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aConsel$b Charles$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOdersky$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144156303321 996 $aDomain-Specific Program Generation$92158507 997 $aUNINA