...est pratique pour le développeur, mais n'impacte pas le programme de sortie du compilateur.

...est nécessaire au fonctionnement du compilateur.

...fait nécessairement usage d'algorithmes particulièrement poussés.

...consiste en la correction automatique du code utilisateur, de façon à pouvoir générer un programme de sortie fonctionnel.