A domain-specific language is a programming language designed for a particular application domain. It provides high-level abstractions for programming in the domain, capturing knowledge about their implementation in a code generator, the compiler for the language.