scholarly journals Finite Element Assembly Using an Embedded Domain Specific Language

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.

Combinators for program generation

1999 ◽  
Vol 9 (5) ◽  
pp. 483-525 ◽  
Author(s):  
PETER THIEMANN
Keyword(s):  
Programming Language ◽  
Functional Programming ◽  
Domain Specific Language ◽  
Functional Language ◽  
Abstract Syntax ◽  
Specific Language ◽  
Program Generation ◽  
Domain Specific ◽  
Meta Programming ◽  
General Method

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.

Domain-Specific Language Abstractions for Compression

2021 ◽  
Author(s):  
Jessica Ray ◽  
Ajav Brahmakshatriya ◽  
Richard Wang ◽  
Shoaib Kamil ◽  
Albert Reuther ◽  
...  
Keyword(s):  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

RML: Theory and practice of a domain specific language for runtime verification

2021 ◽  
Vol 205 ◽  
pp. 102610
Author(s):  
Davide Ancona ◽  
Luca Franceschini ◽  
Angelo Ferrando ◽  
Viviana Mascardi
Keyword(s):  
Runtime Verification ◽  
Theory And Practice ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific

SWQL: A new domain-specific language for mining the social Web

2021 ◽  
pp. 102642
Author(s):  
Xiomarah Guzmán-Guzmán ◽  
Edward Rolando Núñez-Valdez ◽  
Raysa Vásquez-Reynoso ◽  
Angel Asencio ◽  
Vicente García-Díaz
Keyword(s):  
Domain Specific Language ◽  
Social Web ◽  
Specific Language ◽  
Domain Specific ◽  
The Social
Sign in / Sign up

Export Citation Format

Share Document