Les compilateurs

• Programme source: texte du programme écrit par le programmeur.

• Compilateur:

  1.

  Analyse syntaxique: on vérifie que le programme est correct vis-à-vis des règles de syntaxe.

  2.

  Typage: on vérifie que le programme est correct vis-à-vis des règles (sémantiques) de cohérence entre types.

  3.

  Traduction: on traduit chaque instruction du programme source vers du code objet (en se servant des règles décrivant leur sémantique). S'il n'y pas d'erreurs de syntaxe ni de typage, le résultat de la compilation est un programme en code objet.
  

• Code objet: programme écrit dans un langage exécutable plus ou moins directement par la machine.

• Edition de liens: Rélocation des symboles externes au programme.

• Exécution: Le programmeur éxecute le programme en code objet pour obtenir le comportément décrit dans le programme source.