Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations.
Sarmen KeshishzadehArjan J. MooijJozef HoomanPublished in: CoRR (2015)
Keyphrases
- domain specific languages
- formal language
- formal semantics
- case study
- model theoretic
- programming language
- operational semantics
- machine processable
- industrial applications
- general purpose
- multi agent
- highly expressive
- specification languages
- formal methods
- formal model
- owl ontologies
- logic programming
- transformation rules
- data sets
- database