Fournit les bases théoriques de la compilation des langages impératifs, fonctionnels et logiques, et présente les principaux outils utiles. Nombreux exercices. Peut servir de support de cours et également être utilisé pour une formation personnelle.