Notes du cours de remise a` niveau“Programmation, s´emantique, typage”Xavier LeroyXavier.Leroy@inria.fr15 septembre 2005http://cristal.inria.fr/~xleroy/mpri/prog/Table des mati`eres1 Rappels de programmation en Caml 31.1 Basics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31.2 Data types . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41.3 Functions as values . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51.4 Records and variants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61.5 Imperative features . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81.6 Exceptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101.7 Symbolic processing of expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111.8 Pretty-printing and parsing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121.9 Standalone Caml programs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 S´emantique op´erationnelle 162.1 G´en´eralit´es sur la s´emantique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162.2 Le langage mini-ML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 182.3 S´emantique op´erationnelle “`a grands pas” de mini-ML . . . . . . . . . . . . . . . . . 202.3.1 Les valeurs . . . . . . . . . . . . . . . ...