La lecture en ligne est gratuite
Le téléchargement nécessite un accès à la bibliothèque YouScribe
Tout savoir sur nos offres
Télécharger Lire

cours programmation CAML

51 pages
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 . . . . . . . . . . . . . . . ...
Voir plus Voir moins

Vous aimerez aussi

Notesducoursderemiseaniveau Programmation,semantique,typage
Xavier Leroy Xavier.Leroy@inria.fr
15 septembre 2005 http://cristal.inria.fr/~xleroy/mpri/prog/
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin