Académique Documents
Professionnel Documents
Culture Documents
Lionel GUEZ *
guez@lmd.ens.fr
Bureau E224
23 juillet 2018
École normale supérieure – L3 sciences de la planète
1 Introduction
*
Emprunts nombreux au cours de Philippe FACON, Institut d’informatique d’entreprise,
1988.
2 Concepts de base des langages de program-
mation impératifs
Figure
Type
Constante littérale
Constante symbolique
Expression
Procédure
3 Langage de description d’algorithme
3.1 Variables et types
1:
2:
3:
4:
5:
6:
7:
8:
1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
5 Conception descendante
6 Idéaux de la programmation
Figure
7 Procédures
non duplication
ré-utilisation
décomposition
apparente
simplicité
mise au point
Figure
1:
2:
3:
1:
2:
fi na l in itia l
Figure
Références
Sémantiques formelles
Communi-
cations of the ACM