“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 336 — #346
i
i
i
i
i
i
i
i
336
Index
accumulateur, 135–137
état déclaratif, 222
abstraction de boucle, 205
limite du modèle déclaratif, 209
adjonction (environnement), 62
ADT (type abstrait), 233
affectation
cellule, 229
destructive, voir état
Java, 306
opération cellule, 17
unique, 40
agrégat, 233
Aït-Kaci, Hassan, xi
algèbre, 107
algorithme
arbre, 137
crible d’Ératosthène, 206
méthode de Newton pour la racine carrée,
114
NP-complet, 158
ordonnancement de fils, 191
ramassage de miettes, 77
copie à double espace, 80
tri par fusion, 133, 148
tri rapide, 181
triangle de Pascal, 11
aliasing, 231
allocation, 76
analyse, 151
analyseur de jetons, 28
analyseur lexical, 28
andthen (opération booléenne), 85
application
affichage vidéo, 214
autonome, 170
Java, 309
cadre (framework), 272
client/serveur, 213
compteur de fréquence des mots, 167, 173
declare interdite, 90
exception non capturée, 97
approche du langage noyau, 33–39
arbre, 137
équilibré, 137
binaire ordonné, 138
feuille (nœud externe), 124, 137
fini, 137
non feuille (nœud interne), 124, 137
profondeur, 138
syntaxique, 28
ternaire, 137
argument
effectif, 67
formel, 67
arité, 54
case (sémantique), 68
consommation de mémoire
d’enregistrement, 155
opérateur n-aire, 322
opérateur ternaire, 322
opérateurs binaires, 321
opérateurs unaires, 321
arithmétique, 54
précision arbitraire, 4
Arity (fonction), 54
ASCII (American Standard Code for
Information Interchange), 168, 258,
259
association, 300
associativité, 32, 322
atome, 51
définition de portée, 287
atomique, 61
entrelacement, 187
attribut
final (en Java), 305
initialisation, 279
objet, 277
axiome
programmation logique, 220
B
backquote (guillemet arrière), 36
Backus, John, 29
i
i
i
i
i
i
i
i
336
Index
accumulateur, 135–137
état déclaratif, 222
abstraction de boucle, 205
limite du modèle déclaratif, 209
adjonction (environnement), 62
ADT (type abstrait), 233
affectation
cellule, 229
destructive, voir état
Java, 306
opération cellule, 17
unique, 40
agrégat, 233
Aït-Kaci, Hassan, xi
algèbre, 107
algorithme
arbre, 137
crible d’Ératosthène, 206
méthode de Newton pour la racine carrée,
114
NP-complet, 158
ordonnancement de fils, 191
ramassage de miettes, 77
copie à double espace, 80
tri par fusion, 133, 148
tri rapide, 181
triangle de Pascal, 11
aliasing, 231
allocation, 76
analyse, 151
analyseur de jetons, 28
analyseur lexical, 28
andthen (opération booléenne), 85
application
affichage vidéo, 214
autonome, 170
Java, 309
cadre (framework), 272
client/serveur, 213
compteur de fréquence des mots, 167, 173
declare interdite, 90
exception non capturée, 97
approche du langage noyau, 33–39
arbre, 137
équilibré, 137
binaire ordonné, 138
feuille (nœud externe), 124, 137
fini, 137
non feuille (nœud interne), 124, 137
profondeur, 138
syntaxique, 28
ternaire, 137
argument
effectif, 67
formel, 67
arité, 54
case (sémantique), 68
consommation de mémoire
d’enregistrement, 155
opérateur n-aire, 322
opérateur ternaire, 322
opérateurs binaires, 321
opérateurs unaires, 321
arithmétique, 54
précision arbitraire, 4
Arity (fonction), 54
ASCII (American Standard Code for
Information Interchange), 168, 258,
259
association, 300
associativité, 32, 322
atome, 51
définition de portée, 287
atomique, 61
entrelacement, 187
attribut
final (en Java), 305
initialisation, 279
objet, 277
axiome
programmation logique, 220
B
backquote (guillemet arrière), 36
Backus, John, 29