From a Program Family to a Domain-Specific Language
16
Citation
23
Reference
10
Related Paper
Citation Trend
Keywords:
Domain-specific language
Bioinformatics is the application of computer science techniques to problems in biology, and this paper explores one such application with great potential: the modeling of life cycles of autonomous, intercommunicating cellular systems using domain-specific programming languages (DSLs). We illustrate this approach for the simple photo-synthetic bacterium R. Sphaeroides with a DSL called CellSys embedded in the programming language Haskell.
Haskell
Domain-specific language
Modeling language
Cite
Citations (3)
Smooth integration of domain-specific languages into a general purpose host language requires absorbing of domain code written in arbitrary syntax. The integration should cause minimal syntactical and semantic overhead and introduce minimal dependency on external tools. In this paper we discuss a DSL integration technique for the C++ programming language. The solution is based on compile-time parsing of the DSL code. The parser generator is a C++ template metaprogram reimplementation of a runtime Haskell parser generator library. The full parsing phase is executed when the host program is compiled. The library uses only standard C++ language features, thus our solution is highly portable. As a demonstration of the power of this approach, we present a highly efficient and type-safe version of printf and the way it can be constructed using our library. Despite the well known syntactical difficulties of C++ template metaprograms, building embedded languages using our library leads to self-documenting C++ source code.
Domain-specific language
Haskell
Compile time
Metaprogramming
Cite
Citations (1)
This paper presents a library called LibDSL that helps the implementer of an embedded domain specific language (EDSL) effectively develop it in D language. The LibDSL library accepts as input some kinds of ``specifications'' of the EDSL that the implementer is going to develop and a D program within which an EDSL source program written by the user is embedded. It produces the front-end code of an LALR parser for the EDSL program and back-end code of the execution engine. LibDSL is able to produce two kinds of execution engines, namely compiler-based and interpreter-based engines, either of which the user can properly choose depending on whether an EDSL program is known at compile time or not. We have implemented the LibDSL system by using template metaprogramming and other advanced facilities such as compile-time function execution of D language. EDSL programs developed by means of LibDSL have a nice integrativeness with the host language.
Metaprogramming
Domain-specific language
Code (set theory)
Cite
Citations (0)
Domain-specific language
Interface (matter)
Component (thermodynamics)
Language construct
Cite
Citations (0)
Domain-specific language
Interface (matter)
Abstraction
Metamodeling
Enabling
Cite
Citations (3)
Factor is a new dynamic object-oriented programming language. It began as an embedded scripting language and evolved to a mature application development language. The language has a simple execution model and is based on the manipulation of data on a stack. An advanced metaprogramming system provides means for easily extending the language. Thus, Factor allows programmers to use the right features for their problem domain. The Factor implementation is self-hosting, featuring an interactive development environment and an optimizing compiler. In this paper, the language and its implementation are presented.
Factor (programming language)
Metaprogramming
Dynamic compilation
Low-level programming language
Programming language implementation
Domain-specific language
Language primitive
Just-in-time compilation
Cite
Citations (3)
Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification can be extended to describe a debugger for a language. To realize this, we introduce a meta-language for coordinating the debugger that abstracts over the complexity of writing a debugger by hand. We describe the implementation of a language-parametric infrastructure for debuggers that can be instantiated based on this specification. The approach is implemented in the Spoofax language workbench and validated through realistic case studies with the Stratego transformation language and the WebDSL web programming language.
Debugger
Domain-specific language
Programming language specification
Low-level programming language
Workbench
Cite
Citations (9)
Domain-specific language
Abstraction
Interface (matter)
Metamodeling
Modeling language
Enabling
Cite
Citations (6)
Debugger
Program transformation
Domain-specific language
Language construct
Cite
Citations (0)
No abstract available.
Domain-specific language
Cite
Citations (0)