Les langages de programmation

Ensemble de types de données, de constructions syntaxiques et de règles sémantiques qui permettent l'écriture des programmes.

• Les types des données
  sont utilisées pour modéliser les données. Exemple: Le type integer en Ada sert à modéliser les nombres entiers.
  

• La syntaxe:
  règles de formation des instructions et des programmes selon leur forme textuelle. Exemple: pour écrire l'expression mathématique $1 \leq x \leq 7$, une syntaxe possible est: 1 <= x and x <= 7.
  

• La sémantique:
  règles qui définissent le comportement des contructions syntaxiques en termes de calculs et effets obtenus lorsqu'elles sont executées par une machine. Exemple: 4+3*2 équivaut à l'expression mathématique 4 + (3*2). Sa sémantique en Ada est donc: 10.

Exemple: "bonjour" * 2 est une phrase bien formée du point de vue de la syntaxe, mais pas du point de vue sémantique.