Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings /
Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009, Proceedings / [electronic resource] :
edited by Walid Mohamed Taha.
- 1st ed. 2009.
- X, 411 p. online resource.
- Programming and Software Engineering, 5658 2945-9168 ; .
- Programming and Software Engineering, 5658 .
Semantics -- 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.
This 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.
9783642030345
10.1007/978-3-642-03034-5 doi
Software engineering.
Computer networks .
Computer programming.
Compilers (Computer programs).
Computer science.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
QA76.758
005.1
Semantics -- 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.
This 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.
9783642030345
10.1007/978-3-642-03034-5 doi
Software engineering.
Computer networks .
Computer programming.
Compilers (Computer programs).
Computer science.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
QA76.758
005.1