Programmation Fonctionnelle : Conception et Analyse

Vous êtes ici : Portail Cnam> Portail de la formation> École SITI> Département INFO> Architecture et Intégration des Systèmes Logiciels> UE>

Public et conditions d'accès

Pré requis : Connaissance d'un langage de programmation.
Public concerné : Toute personne soucieuse d'élargir son champ de compétence en programmation par l'apprentissage de langages fonctionnels et
par l'étude fine de propriétés de programmes.

Public et conditions d'accès

Tous les langages de programmation modernes admettent des traits impératifs, fonctionnels et/ou objets, correspondant à des styles de programmation particuliers. Il convient donc de maitriser chacun de ces styles afin de les mobiliser à bon escient.
Ce cours a pour objectif d'approfondir le paradigme fonctionnel de la programmation par l'étude d'au moins un langage fondé sur un noyau purement fonctionnel. Il s'attachera aussi a fournir les techniques permettant d'analyser ces programmes. Ce cours est une préparation pour les UES NFP209 et 210 du parcours Fiabilité des Systèmes (option AISL du diplôme d'ingénieur).

Compétences visées

Connaissance et pratique d'un langage fonctionnel. Mise en oeuvre de programmes fonctionnels sur des structures des données récursives.
Maîtrise des techniques simples d'analyse de programmes fonctionnels.
Préparation au parcours fiabilité des systèmes (pour les UES NFP209 et NFP210 de l'option AISL du diplôme d'ingénieur).

Voir aussi toutes les formations en

Contenu

Partie 1 : apprentissage de la programmation fonctionnelle

Les bases d'un langage fonctionnel (Ocaml)

Les fonctions, citoyennes de première classe (fonctions récursives, fonctions d'ordre supérieur, polymorphisme)

Les types récursifs et les fonctions qui les exploitent.
Partie 2 : Analyse des programmes fonctionnels.

Ensembles inductifs

Raisonnement par induction et définition par récurrence

Ordres bien-fondés.
Le cours s'organisera autour de cours, d'ED sur machine et de la réalisation
d'un projet dans le langage fonctionnel choisi.

Modalités de l'évaluation

Un examen et un projet (obligatoires).

Bibliographie

B. Pagano, P. Manoury, E.Chailloux : Developpement d'applications avec Objective Caml
A. Brygoo, T. Durand, M. Pelletier, C. Queinnec, M. Soria : Programmation récursive
A. Arnold, I. Guessarian : Mathematiques pour l'informatique
Notes de Cours + transparents : M.V. Aponte-Garcia, P. Courtieu