L10) Grammaires d’attributs

Les grammaires d’attributs de Knuth enrichissent les arbres syntaxiques avec des propriétés calculables. Découvrez attributs synthétisés, hérités et leur lien avec les flags de BP3.

L5) Les trois sémantiques

Explorez les 3 sémantiques formelles : opérationnelle, dénotationnelle et axiomatique. Comprenez comment elles décrivent le sens des programmes et choisissez la bonne approche pour vos projets.