L0) La carte des formalismes
Explorez la carte des formalismes des langages formels. Comprenez comment syntaxe, sémantique et concurrence s’appliquent à BP3. Votre guide essentiel pour la série L.
Étiquette : #semantique
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.