Langages compilés

Généralement le processus de dévoleppement d'un programme comprend les étapes suivantes :

1. Édition du texte du programme (selon une syntaxe définie)
2. Compilation du code objet à partir du texte édité
3. Edition des liens symboliques
4. Création du programme exécutable

Un compilateur est un programme informatique qui traduit le texte d'un langage respectant une syntaxe définie (langage source), en un autre (langage cible), en préservant la signification du texte source. Ce schéma général décrit un grand nombre de programmes différents; et ce que l'on entend par "signification du texte source" dépend du rôle du compilateur. Lorsque l'on parle de compilateur, on suppose aussi en général que le langage source est, pour l'application envisagée, de plus haut niveau que le langage cible, c'est-à-dire qu'il présente un niveau d'abstraction supérieur.

En pratique, un compilateur sert le plus souvent à traduire un code source écrit dans un langage de programmation en un autre langage, habituellement un langage d'assemblage ou un langage machine. Le programme en langage machine produit par un compilateur est appelé code objet.