melange

Melange is a tool-supported meta-language in which legacy DSLs are assembled and customized to produce new ones. Melange provides specific constructs to assemble various abstract syntax and operational semantics artifacts into a DSL. DSLs can then be used as first-class entities to be reused, extended, restricted or adapted into other DSLs. Melange relies on typing relations that stati- cally ensure the structural correctness of the produced DSLs, and subtyping relations between DSLs to reason about their substitutability. Newly produced DSLs are correct by construction, ready for production (i.e. the result can be deployed and used as is), and reusable in a new assembly.

References:

[Melange: A Meta-language for Modular and Reusable Development of DSLs] (https://hal.inria.fr/hal-01197038/document)