Optimisation
Description d'un jeu d'instructions RISC : MIPS. 4. ... Chaque type de sémantique
formelle sera illustré sur un langage-test, appelé WHILE (une version très
simplifiée de ..... Responsables : Gérard Chollet et Dijana Petrovska (20 h Cours-
TD).