“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 351 — #361
i
i
i
i
i
i
i
i
Index
351
méthode du demi-intervalle, 179
ramassage de miettes, 77
raise (instruction), 97
raisonnement
algébrique, 106, 111
logique, 106
séparer les niveaux d’abstraction, 212
ramassage de miettes, 75, 77
à générations, 80
copie à double espace, 80
pause, 78
racines, 77
temps réel, 78
Raymond, Eric, 249
recherche
binaire, 138
opérationnelle, 158
récursion, 3, 107, 119
directe, 107
indirecte, 107
mutuelle, 104
optimisation terminale, 73
programmation avec, 123
réemploi du logiciel, 272
refactorisation, 249, 252
référence externe, 59, 66
région (dans l’OPI), 314
registre
gestion de mémoire, 75
machine abstraite, 55
relation de redéfinition, 281
résolution
affichage vidéo, 214
responsabilité
compartimenter (dans une équipe), 250
conception par contrat, 293
gestion de mémoire, 78
inférence de types, 133
rôle du polymorphisme, 243
typage dynamique, 273
ressource
calculatoire, 158
concurrence bon marché, 198
concurrence compétitive, 202
externe, 79
Panel (outil), 197, 313
restriction (environnement), 62
Reynolds, John C., 233
routine, 115
rythmeur, 200, 201
S
Sacks, Oliver, 219
sans état (programmation déclarative), 105
ScienceActive (éditeur numérique), x
sécurité, 26
abstraction de données, 232–238
abstraction linguistique, 37
atome vs. nom, 287
capacité, 26
type abstrait, 143–147
sélection naturelle, 251, 262
self
Java, 307
lien dynamique, 284
this (en Java), 305
sémantique, ix, 27
approche du langage noyau, 35
axiomatique, 35, 293
cellule, 229
classe, 275
contexte, 94
dénotationnelle, 35
dans compilateur, 283
entrelacement, 187
exceptions, 96
fil, 190
instruction sémantique, 61
Java, 304
langage noyau, voir machine abstraite
logique, 35
machine abstraite, 55–80, 96–97, 190–192,
229–230
objet, 276
opérationnelle, 35
passage de paramètres, 239
type sécurisé, 144
sensible au contexte
grammaire, 30
© Dunod – La photocopie non autorisée est un délit
i
i
i
i
i
i
i
i
Index
351
méthode du demi-intervalle, 179
ramassage de miettes, 77
raise (instruction), 97
raisonnement
algébrique, 106, 111
logique, 106
séparer les niveaux d’abstraction, 212
ramassage de miettes, 75, 77
à générations, 80
copie à double espace, 80
pause, 78
racines, 77
temps réel, 78
Raymond, Eric, 249
recherche
binaire, 138
opérationnelle, 158
récursion, 3, 107, 119
directe, 107
indirecte, 107
mutuelle, 104
optimisation terminale, 73
programmation avec, 123
réemploi du logiciel, 272
refactorisation, 249, 252
référence externe, 59, 66
région (dans l’OPI), 314
registre
gestion de mémoire, 75
machine abstraite, 55
relation de redéfinition, 281
résolution
affichage vidéo, 214
responsabilité
compartimenter (dans une équipe), 250
conception par contrat, 293
gestion de mémoire, 78
inférence de types, 133
rôle du polymorphisme, 243
typage dynamique, 273
ressource
calculatoire, 158
concurrence bon marché, 198
concurrence compétitive, 202
externe, 79
Panel (outil), 197, 313
restriction (environnement), 62
Reynolds, John C., 233
routine, 115
rythmeur, 200, 201
S
Sacks, Oliver, 219
sans état (programmation déclarative), 105
ScienceActive (éditeur numérique), x
sécurité, 26
abstraction de données, 232–238
abstraction linguistique, 37
atome vs. nom, 287
capacité, 26
type abstrait, 143–147
sélection naturelle, 251, 262
self
Java, 307
lien dynamique, 284
this (en Java), 305
sémantique, ix, 27
approche du langage noyau, 35
axiomatique, 35, 293
cellule, 229
classe, 275
contexte, 94
dénotationnelle, 35
dans compilateur, 283
entrelacement, 187
exceptions, 96
fil, 190
instruction sémantique, 61
Java, 304
langage noyau, voir machine abstraite
logique, 35
machine abstraite, 55–80, 96–97, 190–192,
229–230
objet, 276
opérationnelle, 35
passage de paramètres, 239
type sécurisé, 144
sensible au contexte
grammaire, 30
© Dunod – La photocopie non autorisée est un délit