L2 Informatique:
Programmation Impérative

Contenu

TBD

 

Enseignants

Cours:

• Jean-Paul Bahsoun

Travaux Dirigés:

• Jean-Paul Bahsoun (G4, jeudi 10h30-13h00)
• Olivier Gasquet (G1, lundi 10h00-12h30)
• Pierre Piccinini (G3, vendredi 10h00-12h30)
• Martin Strecker (G2, mardi 9h30-12h00 et G5, mardi 13h00-15h30)

• Jonathan Barre (G3.1, lundi 10h00-13h00)
• Laurent Broto (G2.1, vendredi 9h00-12h00)
• Bassem Haidar (G2.2, vendredi 9h00-12h00)
• Chaouki Maiza (G 3.2, lundi 10h00-13h00)
• Bertrand Tornil (G 5.1, mercredi 9h00-12h00)
• Véronique Moriceau (G 5.2, mercredi 9h00-12h00)
• Pierre Piccinini (G 1.1, vendredi 13h00-16h00)
• Martin Strecker (G 1.2, vendredi 13h00-16h00)
• Fabrice Maurel (G 4.1, mardi 9h00-12h00)
• Vincent Vivanloc (G 4.2, mardi 9h00-12h00)

Organisation

Calendrier semestre:

1er cours: semaine du 07/02/2005

début TD: semaine du 14/02/2005

début TP: semaine du 14/02/2005

Emploi du temps

Ressources

Cours

• Introduction à la programmation impérative
• Programmation impérative: Méthodologie; spécifications
• Fonctions et procédures
• Preuves de programmes: Transparents (4 pages sur une pour imprimer )
• Types abstraits de données

• Solution des partiels
• Exemple d'un examen

Travaux dirigés: Feuilles d'exercices

• TD1_PR~1
• TD2_TA~1
• TD3_sous_prog
• TD4_specif
• TD5_PFP
• TD6_preuves
• TD7_derec
• TD8_ecriture+preuve

Travaux pratiques: Feuilles d'exercices

• TP1
• TP2
• TP3
• TP4
• TP5
• TP6
• TP7
• TP8

Pour en savoir plus...

Langage C:

• GCC: the GNU Compiler Collection
• The GNU C Library
• The C Library Reference Guide

Sémantique de langages, correction de programmes:

• Hanne Riis Nielson, Flemming Nielson: Semantics with Applications: A Formal Introduction. (en particulier: ch. 6)
• Tobias Nipkow: Hoare Logics in Isabelle/HOL