Programmation 1: sémantique, leçon 1

Les (parties d') exercices noté(e)s avec ? sont plus difficiles. ... La sémantique opérationnelle de Imp est donnée comme une transformation d'état,.

Sémantique des langages de programmation Quatrième partie