“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 350 — #360
i
i
i
i
i
i
i
i
350
Index
procédure
en tant que composant, 226
importance, 53
opérations de base, 55
récursive-terminale, 73
référence externe, 66
processeur, 187
processus
calcul concurrent, 53
canal à envoi unique, 53
conception de grands programmes, 250
conception de petits programmes, 166
erreur d’exécution, 100
système d’exploitation, 202
profilage, 251
profiler, 159
programmation, 1
avec état, 26, 219
basée objet, 19
concurrente, 38
concurrente dataflow, 183
d’ordre supérieur, 108, 119
accumulateur, 205
classe, 19
introduction, 13
Java, 305
motif de conception, 304
sécuriser, 236
déclarative, 25, 220
besoin d’algorithmes, 111
descriptive, 109, 162
limitations, 208
programmable, 109
développements futurs, 261
extrême, 252
flow-based, 203
fonctionnelle, 38, 53, 111, 220
impérative, 220
Java, 306
logique, 38, 41, 111, 220
orienté but, 142
orientée objet (POO), 19, 53, 227, 269
succès, 269
ouverte, 143
par accumulateur, 135
par composants, 226
par contraintes, 41
fils, 201
paradigme, 26
sans état, 26
programme
graphe orienté, 169
légal, 28
Prolog
Aquarius, 137
DCG (Definite Clause Grammar), 137
programmation déclarative, 105
propriété
construction de systèmes, 225
de la concaténation, 127
de substitution, 291, 294
localité de grammaire hors-contexte, 30
monotonicité des fils, 189
objet, 278
optimisation terminale, 73
polymorphisme, 18
programmation déclarative, 105
programmation dataflow, 16
séquentialité de l’instruction case, 84
tout est exécution, 282
transparence référentielle, 107
prouveur de théorèmes, 111
proxy, 80
Ptolémée, 1
Q
QTk, 162
dans application, 175
quantum (dans l’ordonnancement de fils), 199
quicksort (tri rapide), 181
quote (guillemet simple), 36
R
race condition (course), 20, 185
racine
dans arbre binaire ordonné, 138
dans arbre syntaxique, 31
méthode de Newton, 114, 179
i
i
i
i
i
i
i
i
350
Index
procédure
en tant que composant, 226
importance, 53
opérations de base, 55
récursive-terminale, 73
référence externe, 66
processeur, 187
processus
calcul concurrent, 53
canal à envoi unique, 53
conception de grands programmes, 250
conception de petits programmes, 166
erreur d’exécution, 100
système d’exploitation, 202
profilage, 251
profiler, 159
programmation, 1
avec état, 26, 219
basée objet, 19
concurrente, 38
concurrente dataflow, 183
d’ordre supérieur, 108, 119
accumulateur, 205
classe, 19
introduction, 13
Java, 305
motif de conception, 304
sécuriser, 236
déclarative, 25, 220
besoin d’algorithmes, 111
descriptive, 109, 162
limitations, 208
programmable, 109
développements futurs, 261
extrême, 252
flow-based, 203
fonctionnelle, 38, 53, 111, 220
impérative, 220
Java, 306
logique, 38, 41, 111, 220
orienté but, 142
orientée objet (POO), 19, 53, 227, 269
succès, 269
ouverte, 143
par accumulateur, 135
par composants, 226
par contraintes, 41
fils, 201
paradigme, 26
sans état, 26
programme
graphe orienté, 169
légal, 28
Prolog
Aquarius, 137
DCG (Definite Clause Grammar), 137
programmation déclarative, 105
propriété
construction de systèmes, 225
de la concaténation, 127
de substitution, 291, 294
localité de grammaire hors-contexte, 30
monotonicité des fils, 189
objet, 278
optimisation terminale, 73
polymorphisme, 18
programmation déclarative, 105
programmation dataflow, 16
séquentialité de l’instruction case, 84
tout est exécution, 282
transparence référentielle, 107
prouveur de théorèmes, 111
proxy, 80
Ptolémée, 1
Q
QTk, 162
dans application, 175
quantum (dans l’ordonnancement de fils), 199
quicksort (tri rapide), 181
quote (guillemet simple), 36
R
race condition (course), 20, 185
racine
dans arbre binaire ordonné, 138
dans arbre syntaxique, 31
méthode de Newton, 114, 179