Paradigmes de calcul, sémantiques formelle, langages de programmation.
Description
Paradigmes de programmation. Lambda-calcul, sémantique dynamique, sémantique statique et inférence de types. Programmation fonctionnelle, abstraction fonctionnelle et application. Programmation orientée objet, classes, objets, messages et héritage (simple et multiple). Programmation parallèle et distribuée. Modularité et structuration. Langages ML, Objective CAML, SmallTalk, Java et Concurrent ML.