Programming Language

**Semantic type:** Language

**Definition:** A formal language in which computer programs are written. The definition of a particular language consists of both syntax (how the various symbols of the language may be combined) and semantics (the meaning of the language constructs).

**Synonyms:** - Language