Domain specific language implementation via compile-time meta-programming

We present a general method to transform a compositional specification of a specializer for a functional programming language into a set of combinators that can be used to perform the same specialization more efficiently. The main transformation steps are the transition to higher-order abstract syntax and untagging. All transformation steps are proved correct. The resulting combinators can be implemented in any functional language, typed or untyped, pure or impure. They may also be considered as forming a domain-specific language for meta-programming. We demonstrate the generality of the method by applying it to several specializers of increasing strength. We demonstrate its efficiency by comparing it with a traditional specialization system based on self-application.

Download Full-text

Introducing domain-specific language implementation using web service-oriented technologies

Multiagent and Grid Systems ◽

10.3233/mgs-2012-0183 ◽

2012 ◽

Vol 8 (1) ◽

pp. 19-44

Author(s):

Shih-Hsi Liu ◽

Adam Cardenas ◽

Marjan Mernik ◽

Barrett R. Bryant ◽

Jeff Gray ◽

...

Keyword(s):

Web Service ◽

Domain Specific Language ◽

Language Implementation ◽

Specific Language ◽

Domain Specific ◽

Service Oriented

Download Full-text

A SOA Approach for Domain-Specific Language Implementation

2010 6th World Congress on Services ◽

10.1109/services.2010.119 ◽

2010 ◽

Cited By ~ 1

Author(s):

Shih-Hsi Liu ◽

Adam Cardenas ◽

Xang Xiong ◽

Marjan Mernik ◽

Barrett R. Bryant ◽

...

Keyword(s):

Domain Specific Language ◽

Language Implementation ◽

Specific Language ◽

Domain Specific

Download Full-text

Finite Element Assembly Using an Embedded Domain Specific Language

Scientific Programming ◽

10.1155/2015/797325 ◽

2015 ◽

Vol 2015 ◽

pp. 1-22

Author(s):

Bart Janssens ◽

Támas Bányai ◽

Karim Limam ◽

Walter Bosschaerts

Keyword(s):

Numerical Simulation ◽

Finite Element ◽

Mathematical Formulation ◽

Integral Form ◽

Domain Specific Language ◽

Specific Language ◽

Domain Specific ◽

Meta Programming ◽

Programming Techniques ◽

Methods Numerical

In finite element methods, numerical simulation of the problem requires the generation of a linear system based on an integral form of a problem. Using C++ meta-programming techniques, a method is developed that allows writing code that stays close to the mathematical formulation. We explain the specifics of our method, which relies on the Boost.Proto framework to simplify the evaluation of our language. Some practical examples are elaborated, together with an analysis of the performance. The abstraction overhead is quantified using benchmarks.

Download Full-text

Domain-Specific Languages for Workflows.A Systematic Literature Review

10.20944/preprints202111.0369.v1 ◽

2021 ◽

Author(s):

Akif Quddus Khan

Keyword(s):

Literature Review ◽

Systematic Literature Review ◽

Domain Specific Language ◽

Domain Specific Languages ◽

Language Implementation ◽

Specific Language ◽

Domain Specific ◽

Abstraction Layer ◽

Preliminary Research ◽

Complete Process

This paper aims to provide an overview of the complete process in the development of a Domain-Specific Language (DSL). It explains the construction steps such as preliminary research, language implementation, and evaluation. Moreover, it provides details for different key components which are commonly found in the DSLs such as the abstraction layer, DSL metamodel, and the applications. It also explains the general limitations related to the Domain-Specific Languages for Workflows.

Download Full-text