Aller au contenu  Aller au menu Aller à la recherche

accès rapides, services personnalisés

Rechercher

Recherche détaillée

Contact

Jacqueline Collet-Narboni
Responsable administrative

courriel : jacqueline.collet-narboni@upmc.fr

Cette page est la page de garde du site consacré à l' unité d'enseignement « Analyse des Programmes et Sémantique (4I503) »

Ressources annuelles

Responsable de l'UE : Malenfant, jacques


Site de l'UE

Description de l'UE :

Etude de différentes formes de sémantique des langages de programmation et d'analyses statiques des programmes. S'appuyant sur une première introduction à ces concepts, mais tout en restant accessible sans préalable, cette unité d'enseignement consolide les connaissances des étudiants dans le domaine de la spécification formelle et des langages de programmation et du traitement des programmes. L'utilisation d'outils pratiques (sémantiques exécutables, programmation effective) pour explorer ces concepts facilitera l'acquisition des connaissances par les étudiants.