"A program is any precisely defined model of a solution to some problem in some domain, expressed using domain concepts."

from Language Oriented Programming: The Next Programming Paradigm -- Sergey Dmitriev