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

Détails/Enoncé :

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.

Recasages pour l'année 2025 :

  • Pas de recasages pour cette année.

Versions :

Pas de version pour ce développement.

Références utilisées dans les versions de ce développement :