“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 343 — #353
i
i
i
i
i
i
i
i
Index
343
héritage, 19, 227, 233, 271
éviter les conflits de méthodes, 290
ascendant, 311
conte moral, 294
correctif (patch), 294
factorisation, 272
généralisation, 311
graphe, 281
Java, 305
liens statiques et dynamiques, 283
motif de conception, 302
multiple, 281, 294
régles de conception, 301
orienté et acyclique, 281
priorité de fil, 201
problème d’implémentation partagée, 301
redéfinition, 281
réemploi du logiciel, 272
simple, 281, 299
vue de structure, 291
vue de type, 291
histoire
développement incrémental, 251
danger de la concurrence, 21
langage à ADT, 233
langage à objets, 269
langages de programmation, 220
programmation orientée objet, 269
technologie de l’ordinateur, 158
Hoare, Charles Antony Richard, 159, 181
HTML (Hypertext Markup Language), 109
I
IBM Corporation, 38
IDE (Interactive Development Environment),
313
identificateur, 2, 42
échappé, 288, 288
occurrence liée, 64
occurrence libre, 57, 64
if (instruction), 67
impératif, 220
implémentation, 224
import (clause dans foncteur), 169
indépendance
composants, 256
conception compositionnelle, 262
concurrence, 14, 20, 92, 183
déploiement logiciel, 169
de l’ordre, 47
héritage multiple, 301
modularité, 212
polymorphisme, 248
programmation déclarative, 105
ramassage de miettes, 77
indirection, 260
induction mathématique, 10
infix (infixé), 51, 84, 321
infixé (infix), 51, 84, 321
infographie, 158
ingénierie des preuves, 111
instanciation, 225
instruction
break, 266
case, 67
catch (clause dans try), 97
declare, 2, 89
finally (clause dans try), 98
for, 23, 175, 195, 246, 266, 299
fun, 86
fun lazy, 186
functor, 172
if, 67
local, 56, 63
proc, 65
raise, 97
skip, 63
thread, 191
try, 97
à suspension, 66
appel de procédure, 67
composée, 112
composée (en Java), 306
composition séquentielle, 63
création de valeur, 64
interactive, 89
langage noyau déclaratif, 48
lien variable-variable, 63
intelligence artificielle, 142
© Dunod – La photocopie non autorisée est un délit
i
i
i
i
i
i
i
i
Index
343
héritage, 19, 227, 233, 271
éviter les conflits de méthodes, 290
ascendant, 311
conte moral, 294
correctif (patch), 294
factorisation, 272
généralisation, 311
graphe, 281
Java, 305
liens statiques et dynamiques, 283
motif de conception, 302
multiple, 281, 294
régles de conception, 301
orienté et acyclique, 281
priorité de fil, 201
problème d’implémentation partagée, 301
redéfinition, 281
réemploi du logiciel, 272
simple, 281, 299
vue de structure, 291
vue de type, 291
histoire
développement incrémental, 251
danger de la concurrence, 21
langage à ADT, 233
langage à objets, 269
langages de programmation, 220
programmation orientée objet, 269
technologie de l’ordinateur, 158
Hoare, Charles Antony Richard, 159, 181
HTML (Hypertext Markup Language), 109
I
IBM Corporation, 38
IDE (Interactive Development Environment),
313
identificateur, 2, 42
échappé, 288, 288
occurrence liée, 64
occurrence libre, 57, 64
if (instruction), 67
impératif, 220
implémentation, 224
import (clause dans foncteur), 169
indépendance
composants, 256
conception compositionnelle, 262
concurrence, 14, 20, 92, 183
déploiement logiciel, 169
de l’ordre, 47
héritage multiple, 301
modularité, 212
polymorphisme, 248
programmation déclarative, 105
ramassage de miettes, 77
indirection, 260
induction mathématique, 10
infix (infixé), 51, 84, 321
infixé (infix), 51, 84, 321
infographie, 158
ingénierie des preuves, 111
instanciation, 225
instruction
break, 266
case, 67
catch (clause dans try), 97
declare, 2, 89
finally (clause dans try), 98
for, 23, 175, 195, 246, 266, 299
fun, 86
fun lazy, 186
functor, 172
if, 67
local, 56, 63
proc, 65
raise, 97
skip, 63
thread, 191
try, 97
à suspension, 66
appel de procédure, 67
composée, 112
composée (en Java), 306
composition séquentielle, 63
création de valeur, 64
interactive, 89
langage noyau déclaratif, 48
lien variable-variable, 63
intelligence artificielle, 142
© Dunod – La photocopie non autorisée est un délit