programming language

formal language used to write computer programs.