Un limbaj de programare este un set bine definit de expresii și reguli. Un limbaj de programare are definite un set de reguli sintactice și semantice. El dă posibilitatea celui ce face programul să specifice în mod exact și amănunțit acțiunile pe care trebuie să le execute calculatorul, în ce ordine și cu ce date. Specificarea constă practic în întocmirea/scrierea programelor necesare ("programare").