Cette séance de cours couvre les opérations des registres, y compris read() et write(), et leurs spécifications séquentielles. Il traite également des simplifications dans lhypothèse que les registres ne contiennent que des entiers, des dimensions de registres, une exécution sûre et des implémentations de registres binaires à multivaleurs.