A formal language, defined by syntactic and semantic rules; used to write instructions that can be translated into machine language and then executed by a computer (for example, SQL, C++, C#, Java, Perl)