A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model Mappings

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

A MOF based meta-model and a concrete DSL syntax of IIS*Case PIM concepts

Computer Science and Information Systems ◽

10.2298/csis120203034c ◽

2012 ◽

Vol 9 (3) ◽

pp. 1075-1103 ◽

Cited By ~ 4

Author(s):

Milan Celikovic ◽

Ivan Lukovic ◽

Slavica Aleksic ◽

Vladimir Ivancevic

Keyword(s):

Software Tool ◽

Domain Specific Language ◽

Specific Language ◽

Meta Model ◽

Model Driven ◽

Domain Specific ◽

Software Documentation ◽

Concrete Syntax ◽

Meta Object Facility ◽

Is Design

In this paper, we present a platform independent model (PIM) of IIS*Case tool for information system (IS) design. IIS*Case is a model driven software tool that provides generation of executable application prototypes. The concepts are described by Meta Object Facility (MOF) specification, one of the commonly used approaches for describing meta-models. One of the main reasons for having IIS*Case PIM concepts specified through the meta-model, is to provide software documentation in a formal way, as well as a domain analysis purposed at creation a domain specific language to support IS design. Using the PIM meta-model, we can generate test cases that may assist in software tool verification. The meta-model may be also a good base for the process of the concrete syntax generation for some domain specific language.

Download Full-text

Operator Overloading as a DSL Parsing Mechanism

Advances in Computer and Electrical Engineering - Code Generation, Analysis Tools, and Testing for Quality ◽

10.4018/978-1-5225-7455-2.ch008 ◽

2019 ◽

pp. 179-190

Author(s):

Alberto Simões ◽

Rui Miguel da Costa Meira

Keyword(s):

Linear Algebra ◽

Domain Specific Language ◽

Abstract Syntax ◽

Domain Specific Languages ◽

Specific Language ◽

Domain Specific ◽

Run Time ◽

The Creation ◽

Abstract Syntax Trees ◽

Syntax Trees

This chapter describes an approach for the implementation of embedded domain-specific languages by using operator overloads and the creation of abstract syntax trees in run-time. Using the host language parser, an AST is created stating the structure of the DSL expression that is later analyzed, simplified, and optimized before the evaluation step. For the illustration of this process, the chapter proposes a domain-specific language for a basic linear algebra system dealing with matrices algebra and its optimization.

Download Full-text