“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 342 — #352
i
i
i
i
i
i
i
i
342
Index
fil (thread), xi, 191
exécutable, 189
interface interactive, 92
introduction, 15
modèle déclaratif, 183
prêt, 189
priorité, 200
propriété de monotonicité, 189
suspendu, 190
Filter, 216
finalisation, 79
finally (clause dans try), 98
floor (plancher), 153
flot, 184, 203
déterministe, 203
Java, 307
producteur/consommateur, 203
FoldL (fonction), 205
foncteur, 169, 254
principal, 170
utilisation interactive, 315
fonction, 86
de potentiel, 157
de type, 124
factorielle, 3, 23, 120–123
Fibonacci, 197
génératrice, 151
introduction, 3
plafond, 153
plancher, 153
for (boucle), 23, 175, 195, 246, 266, 299
ForAll, 195
forme (en Oz), 320
Forme Étendue de Backus-Naur (EBNF), 29
France, 225
fuite d’espace, voir fuite de mémoire
fuite de mémoire, 76
fun (instruction), 86
fun lazy (fonction paresseuse), 186
functor (instruction), 172
G
gadget logiciel (widget), 53, 162
canevas, 298
Gamma, Erich, 303, 311
généralisation, 311
génie logiciel, 249
composant comme unité de déploiement,
169
concurrence, 183
lecture à recommander, 249
portée lexicale, 59
géométrie, 1
gestion de mémoire, 73–80
ramassage de miettes, 77
gestionnaire
d’exceptions, 94
grammaire, 28–33
ambiguë, 31
associativité, 32
clause définie (DCG), 137
EBNF (Forme Étendue de Backus-Naur),
29
hors-contexte, 30
précédence, 31
sensible au contexte, 30
symbole non terminal, 29
symbole terminal, 29
graphe
composant, 262
d’appels, 210
de petit monde, 262
diamètre, 262
héritage, 281
hiérarchique, 262
non local, 262
orienté
appels d’un programme, 210
hiérarchie de classe, 281
structure de programme, 169
touffu, 262
GUI (Graphical User Interface), voir interface
graphique
H
handler (manipulateur), 163
Helm, Richard, 303