Développement : Equivalence entre la sémantique dénotationelle et la sémantique opérationnelle [no ref, no pdf]

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 2019 :

Versions :

Pas de version pour ce développement.