Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts.
Sarmen KeshishzadehArjan J. MooijJozef HoomanPublished in: FESCA@ETAPS (2016)
Keyphrases
- domain specific languages
- general purpose
- industrial applications
- machine processable
- formal semantics
- case study
- logic programming
- formal language
- dynamic aspects
- high quality
- programming language
- model theoretic
- semantic information
- highly expressive
- technology transfer
- operational semantics
- belief revision
- database
- image quality
- description logics
- knowledge base
- artificial intelligence
- learning algorithm
- neural network
- learning from experience
- data sets