Une feuille à
trous
pour remplir les règles des procédures et des blocs du
langage While en sémantique naturelle (portées
statiques/dynamiques). Une feuille avec les
règles et un
exercice intéressant pour voir comment s'en sortir avec les
appels récursifs.
Un transparent avec
les règles de déduction en Logique de Hoare.
Un transparent avec
quelques définitions/théorèmes pour prouver la
terminaison.
TD Langages et Traducteurs
(Polytech-Ricm, niveau M1, 1er semestre) 2005/2006