Taha, Walid Mohamed.

Domain-Specific Languages IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings / [electronic resource] : edited by Walid Mohamed Taha. - X, 411 p. online resource. - Lecture Notes in Computer Science, 5658 0302-9743 ; . - Lecture Notes in Computer Science, 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 ExperienceML 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.

ZDB-2-SCS ZDB-2-LNC

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


Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information Systems.
Computer Science.
Software Engineering.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Logics and Meanings of Programs.
Management of Computing and Information Systems.

QA76.758

005.1