Sémantiques mécanisées : quand la machine raisonne sur ses langages

Des expressions et des commandes : la sémantique d'un langage impératif