Titlebook: Domain-Specific Languages; IFIP TC 2 Working Co Walid Mohamed Taha Conference proceedings 2009 IFIP International Federation for Informatio

使满足

Nettle: A Language for Configuring Routing Networksr this task is the . (BGP) [1], which allows autonomous systems to independently define their own route preferences and route advertisement policies. By careful design of these BGP policies, autonomous systems can achieve a variety of objectives..Currently available configuration and policy language

jagged

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskellors useful for solving that particular class of problems. Such a language can be of two kinds: it can form a new language or it can be embedded as a sublanguage in an existing one. We describe an embedded DSL in the form of a library which extends a general purpose language. Our domain is that of vu

AXIS

Domain-Specific Language for HW/SW Co-design for FPGAs configurable logic in addition to embedded processors, distributed RAM blocks, and DSP slices in order to help facilitate building HW/SW co-designed systems. A technical challenge in building such systems is that the practice of designing software and hardware requires different areas of expertise

integrated

Connotation

冰雹

A DSL for Explaining Probabilistic Reasoningnations of how and why those results were obtained. We posit that if users are to understand computations produced by a language, that language should provide explanations to the user..As an example of such an explanation-oriented language we present a domain-specific language for explaining probabi

Bureaucracy

厨师

Operator Language: A Program Generation Framework for Fast Kernelseneration system Spiral beyond the transform domain. Using OL, we show how to automatically generate library functionality for the fast Fourier transform and multiple non-transform kernels, including matrix-matrix multiplication, synthetic aperture radar (SAR), circular convolution, sorting networks

显微镜

A MuDDy Experience–ML Bindings to a BDD Librarylgorithms before handing over the grunt work to the C library. I show how, with a relatively little effort, you can make a domain specific language for concurrent finite state-machines embedded in Standard ML and then write various custom model-checking algorithms for this domain specific embedded language (DSEL).

朝圣者

A Haskell Hosted DSL for Writing Transformation Systemsegy control language in the tradition of Stratego and Strafunski. It is intended for writing reasonably efficient rewrite systems, makes use of type families to provide a delimited generic mechanism for tree rewriting, and provides support for efficient identity rewrite detection.