DEUG MIAS

Programmation impérative

Michel Beaudouin-Lafon, mbl@lri.fr

Contenu du cours 1996-1997 semestre 2 (M. Beaudouin-Lafon)

Cours 1 : Introduction

• Fonctionnel vs impératif
• langage de réalisation

Cours 2 : Langage de réalisation

• suite et fin

Cours 3 : Structures de données

• types abstraits et types concrets
• types de base

Cours 4 : Structures de données

• types composés
• types tableaux (début)

Cours 5 : Structures de données

• types tableaux (fin)
• types sommes

Partiel

Cours 6 : Lexique - Syntaxe

• introduction
• lexique

Cours 7 : Lexique - syntaxe

• introduction à la syntaxe
• déclarations
• types

Cours 8 : Lexique - syntaxe

• accès aux variables
• expressions
• instructions

Cours 9 : Sémantique

• introduction
• mémoire et environnement

Cours 10 : Sémantique

• affectation
• expressions

Cours 11 : Sémantique

• instructions
• passage de paramètres

Cours 12 : Sémantique

• pointeurs

Contenu du cours 1996-1997 semestre 1 (A. Denise)

• Cours 1
  • Langage de réalisation
  • polycopié jusqu'à 2.1.2 inclus
• Cours 2
  • Langage de réalisation
  • polycopié jusqu'à 2.3.1 inclus
• Cours 3
  • Langage de réalisation
  • polycopié section 2.3.2
  • Syntaxe : polycopié Fabrice jusqu'à 1.4.3 inclus
• Cours 4
  • Langages formels :
  • grammaires algébriques
  • diagrammes de Conway
  • expressions rationnelles
  • automates finis
• Cours 5
  • Types de données :
  • types abstraits
  • types concrets
  • typse de base
  • types énumérés
  • début des types produit
• Cours 6
  • Types de données :
  • fin des types produits
  • tableaux
  • exemples d'utilisation des tableaux
• Cours 7
  • Types de données :
  • tableaux
  • exemples sur le type abstrait "liste" (de nombres entiers)
• Partiel
• Cours 8
  • Blocs et portées de déclaration
  • Fonction
• Cours 9
  • Procédure
  • Passage de paramètres
• Cours 10
  • Pointeurs
  • définition
  • utilisation "de base"
• Cours 11
  • Environnement et mémoire :
  • définition
  • fonctionnement sur un exemple
  • Types de données et réservation de mémoire
• Cours 12
  • Modes d'évaluation lors de l'affectation
  • l-mode et r-mode
• Cours 13
  • Equivalence de types
  • équivalence structurelle
  • équivalence par nom