000 04365nam a22005895i 4500
001 978-3-540-25935-0
003 DE-He213
005 20240423130124.0
007 cr nn 008mamaa
008 121227s2004 gw | s |||| 0|eng d
020 _a9783540259350
_9978-3-540-25935-0
024 7 _a10.1007/b98156
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aDomain-Specific Program Generation
_h[electronic resource] :
_bInternational Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers /
_cedited by Christian Lengauer, Don Batory, Charles Consel, Martin Odersky.
250 _a1st ed. 2004.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2004.
300 _aXII, 332 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3016
505 0 _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.
520 _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.
650 0 _aSoftware engineering.
650 0 _aComputer programming.
650 0 _aCompilers (Computer programs).
650 1 4 _aSoftware Engineering.
650 2 4 _aProgramming Techniques.
650 2 4 _aCompilers and Interpreters.
700 1 _aLengauer, Christian.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aBatory, Don.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aConsel, Charles.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aOdersky, Martin.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540221197
776 0 8 _iPrinted edition:
_z9783662161876
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v3016
856 4 0 _uhttps://doi.org/10.1007/b98156
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
912 _aZDB-2-BAE
942 _cSPRINGER
999 _c185278
_d185278