LEADER 05074nam 22008295 450 001 996465596603316 005 20200702012152.0 010 $a1-280-38311-9 010 $a9786613561039 010 $a3-642-03034-3 024 7 $a10.1007/978-3-642-03034-5 035 $a(CKB)1000000000761236 035 $a(SSID)ssj0000317287 035 $a(PQKBManifestationID)11267295 035 $a(PQKBTitleCode)TC0000317287 035 $a(PQKBWorkID)10287224 035 $a(PQKB)10406058 035 $a(DE-He213)978-3-642-03034-5 035 $a(MiAaPQ)EBC3064350 035 $a(PPN)136307213 035 $a(EXLCZ)991000000000761236 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDomain-Specific Languages$b[electronic resource] $eIFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings /$fedited by Walid Mohamed Taha 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 411 p.) 225 1 $aProgramming and Software Engineering ;$v5658 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-03033-5 320 $aIncludes bibliographical references and index. 327 $aSemantics -- J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations -- Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software -- Methods and Tools -- A MuDDy Experience?ML Bindings to a BDD Library -- Gel: A Generic Extensible Language -- A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications -- LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++ -- Unit Testing for Domain-Specific Languages -- Combining DSLs and Ontologies Using Metamodel Integration -- Case Studies -- A Domain Specific Language for Composable Memory Transactions in Java -- CLOPS: A DSL for Command Line Options -- Nettle: A Language for Configuring Routing Networks -- Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell -- Domain-Specific Language for HW/SW Co-design for FPGAs -- A Haskell Hosted DSL for Writing Transformation Systems -- Varying Domain Representations in Hagl -- A DSL for Explaining Probabilistic Reasoning -- Embedded Probabilistic Programming -- Operator Language: A Program Generation Framework for Fast Kernels. 330 $aThis volume presents the proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages, DSL 2009 held in Oxford, UK, during July 15-17, 2009. The 18 peer-reviewed full papers were selected from a total of 48 submissions. The topics covered by the papers represent the diversity of applications, challenges, and methods of domain-specific languages. The papers are organized in topical sections on semantics, methods and tools, and case studies. 410 0$aProgramming and Software Engineering ;$v5658 606 $aSoftware engineering 606 $aComputer communication systems 606 $aComputer programming 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 608 $aKongress.$2swd 608 $aOxford (2009)$2swd 615 0$aSoftware engineering. 615 0$aComputer communication systems. 615 0$aComputer programming. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 14$aSoftware Engineering. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer Communication Networks. 615 24$aProgramming Techniques. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 676 $a005.13 686 $aDAT 350f$2stub 686 $aSS 4800$2rvk 702 $aTaha$b Walid Mohamed$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 02$aInternational Federation for Information Processing. 712 12$aDSL 2009 906 $aBOOK 912 $a996465596603316 996 $aDomain-Specific Languages$9774250 997 $aUNISA