L'unité d'enseignement « Analyse des programmes et sémantique » est
une UE de niveau (400) relevant de la spécialité STL du master
d'informatique. Elle possède un volume de 6 ECTS et s'étend sur
10 semaines. Elle est offerte au semestre 2.
Nouvelles fraîches
1er cours : Mercredi 4 Février 2009
1er TD-TME : Mercredi 11 Février 2009
Partiel : Mercredi 29 Avril 2009
Examen : Mercredi 3 Juin 2009
Equipe pédagogique
Irène Guessarian
Irene.Guessarian@liafa.fr
Mathieu Jaume
Mathieu.Jaume@lip6.fr
Emploi du temps
Cours : Mercredi 8h30-10h30
TME : Mercredi 13h15-15h15
TD : Mercredi 15h30-17h30
Contenu - Calendrier - Notes de cours
Ce cours permet d'acquérir une bonne connaissance
des significations pouvant etre attribuées aux constructions
syntaxiques de programmes, des méthodes de raisonnement et
de validation des programmes. Il forme à la conception et au
développement raisonné d'applications et facilite la
compréhension des choix et modes de fonctionnement des outils et
ateliers de développement.
La note de module est formée à 60% par l'examen final et à 40% par la
note de contrôle continu. La note de contrôle continu comprend la
note de partiel ainsi qu'une note de participation en TME.
Bibliographie
Quelques textes
Gilles Dowek, Les métamorphoses du calcul., Le Pommier, 2007
(Grand prix de philosophie de l'Académie Française).
G. Winskel. The formal Semantics of Programming Languages, An
introduction, MIT Press
L. Aceto, A, Ingolfsdottir, K.G. Larsen, J. Srba,
Reactive Systems: Modelling, Specification and Verification.,
Cambridge University Press
Annales
Le programme de cette UE varie légèrement chaque année ... il se peut donc
qu'apparaissent dans les annales des exercices pour lesquels vous n'êtes
pas préparés cette année.