Bonjour à tous,
La prochaine séance du groupe de travail programmation aura lieu
jeudi 31 mars à 15h45
Nous recevons Julien Signoles qui parlera
d'« une bibliothèque de typage dynamique en OCaml » (résumé à la suite).
Les exposés ont lieu à l'IRILL, 23 avenue d'Italie Paris 13e.
Demander le code d'accès à l'accueil et prendre l'ascenceur au fond du couloir.
Toutes les informations concernant ce GdT sont sur :
http://www-apr.lip6.fr/~chaillou/Public/programmation/index.html
À jeudi !
Vincent
Une bibliothèque de typage dynamique en OCaml
Julien Signoles
Cet exposé présente une bibliothèque OCaml fournissant une représentation dynamique des types monomorphes, y compris pour les instances des types polymorphes et les types de données abstraits. Elle permet ainsi de voir les types OCaml comme des citoyens de première classe. Elle comble aussi le fossé séparant OCaml des langages dynamiques en mêlant vérifications statiques et dynamiques des types. Nous nous concentrons ici sur le coeur de son implantation, ses propriétés théoriques et l'usage qui en est fait dans Frama-C, plateforme logicielle libre d'analyse statique de programmes C au sein de laquelle cette bibliothèque est distribuée.