A programming language with a specific domain intended, such as business or science, in which the basic units are of a higher abstraction or power.