Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman

A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usua…