product iamge

Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): Olivier Danvy, Chung-chieh Shan, Ian Zerny (auth.), Walid Mohamed Taha (eds.)
Series: Lecture Notes in Computer Science 5658 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2009

Language: English
Pages: 411
Tags: Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Logics and Meanings of Programs; Management of Computing and Information Systems

Front Matter....Pages -
J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations....Pages 1-19
Model-Driven Engineering from Modular Monadic Semantics: Implementation Techniques Targeting Hardware and Software....Pages 20-44
A MuDDy Experience–ML Bindings to a BDD Library....Pages 45-57
Gel: A Generic Extensible Language....Pages 58-77
A Taxonomy-Driven Approach to Visually Prototyping Pervasive Computing Applications....Pages 78-99
LEESA: Embedding Strategic and XPath-Like Object Structure Traversals in C++....Pages 100-124
Unit Testing for Domain-Specific Languages....Pages 125-147
Combining DSLs and Ontologies Using Metamodel Integration....Pages 148-169
A Domain Specific Language for Composable Memory Transactions in Java....Pages 170-186
CLOPS: A DSL for Command Line Options....Pages 187-210
Nettle: A Language for Configuring Routing Networks....Pages 211-235
Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell....Pages 236-261
Domain-Specific Language for HW/SW Co-design for FPGAs....Pages 262-284
A Haskell Hosted DSL for Writing Transformation Systems....Pages 285-309
Varying Domain Representations in Hagl....Pages 310-334
A DSL for Explaining Probabilistic Reasoning....Pages 335-359
Embedded Probabilistic Programming....Pages 360-384
Operator Language: A Program Generation Framework for Fast Kernels....Pages 385-409
Back Matter....Pages -