Développement #419

Titre : Equivalence entre la sémantique dénotationelle et la sémantique opérationnelle

Contenu : On prouve ici l'équivalence entre la sémantique opérationnelle et la sémantique dénotationnelle. On ne s'attardera que sur les cas les plus intéressants, typiquement la boucle while.

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42