Bonjour à tous,
Je viens de mettre à jour le TD2 avec une modification de la présentation des règles de réduction pour la sémantique opérationnelle (désolé pour les erreurs dans le sujet ce matin). Je joins à ce message un exemple avec la première itération de la boucle while qui nous a occupé ce matin en fin de séance.
Je vous invite à reprendre les questions et exemples simples du sujet avec cette nouvelle présentation, et à me contacter si vous avez des questions. Nous y reviendrons brièvement en début de TD la semaine prochaine.
Bien à vous,
Jules Chouquet