“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 339 — #349
i
i
i
i
i
i
i
i
Index
339
spécification vs. langage de
programmation, 111
tester programmes déclaratifs vs. avec état,
221
vue de type vs. vue de structure, 293
conception de langages
âge d’or, 220
approche du langage noyau, 34
cycle de vie des abstractions, 38
conception de programmes,
voir développement de logiciel
naturelle, 262
par contrat, 293
concurrence
compétitive, 202
coopérative, 202
déclarative, 183
danger, 21
dataflow, 15
entrelacement, 21
interactive interface, 92
introduction, 14
non-déterminisme, 20
condition d’activation, 66
condition globale
accessibilité, 76
arbre binaire ordonné, 142
cons (paire de liste), 6
consommateur, 203
constructeur, 308
contexte, 94
grammaire sensible au, 30
contrat, 224, 293
coroutine, 256
correct, 10, 224
polymorphisme, 244
correctif (patch), 294
correspondance de formes
case (instruction), 6, 67
cours de programmation, ix
course, 20
Cray-1 super-ordinateur, 157
crible d’Ératosthène, 206
cristal, 219
CTM (Concepts, Techniques, and Models of
Computer Programming), xi
Curry, Haskell B., 36
curryfication, 36
cycle de vie
abstraction, 38
bloc de mémoire, 75
D
Darwin, Charles, 251
dataflow, 60
élastique, 198
erreur, 93
exemples, 195
introduction, 15
modèle déclaratif, 16
variable, 40, 46, 47
Dawkins, Richard, 224
DCG (Definite Clause Grammar), 137
décision temporisée (time out), 260
déclaratif, 105, 220
declare (instruction), 2, 89
convention syntaxique du livre, 89
décomposition fonctionnelle, 131
define (clause dans foncteur), 169
délabrement de logiciel, 259
Delay (procédure), 16
dépendance
application compteur de fréquences des
mots, 175
composant, 173
contexte de grammaire, 30
DEPS (dernier entré premier sorti), 271
déréférencer, 43
dernier entré premier sorti (DEPS), 271
désallocation, 76
design by contract (conception par contrat), 293
design pattern (motif de conception), 269
détection tardive d’erreurs (à l’exécution), 282
déterminisme (programmation déclarative), 105
développement de logiciel, 166, 249
évolutionnaire, 251
à grande échelle, 249
à petite échelle, 166
© Dunod – La photocopie non autorisée est un délit
i
i
i
i
i
i
i
i
Index
339
spécification vs. langage de
programmation, 111
tester programmes déclaratifs vs. avec état,
221
vue de type vs. vue de structure, 293
conception de langages
âge d’or, 220
approche du langage noyau, 34
cycle de vie des abstractions, 38
conception de programmes,
voir développement de logiciel
naturelle, 262
par contrat, 293
concurrence
compétitive, 202
coopérative, 202
déclarative, 183
danger, 21
dataflow, 15
entrelacement, 21
interactive interface, 92
introduction, 14
non-déterminisme, 20
condition d’activation, 66
condition globale
accessibilité, 76
arbre binaire ordonné, 142
cons (paire de liste), 6
consommateur, 203
constructeur, 308
contexte, 94
grammaire sensible au, 30
contrat, 224, 293
coroutine, 256
correct, 10, 224
polymorphisme, 244
correctif (patch), 294
correspondance de formes
case (instruction), 6, 67
cours de programmation, ix
course, 20
Cray-1 super-ordinateur, 157
crible d’Ératosthène, 206
cristal, 219
CTM (Concepts, Techniques, and Models of
Computer Programming), xi
Curry, Haskell B., 36
curryfication, 36
cycle de vie
abstraction, 38
bloc de mémoire, 75
D
Darwin, Charles, 251
dataflow, 60
élastique, 198
erreur, 93
exemples, 195
introduction, 15
modèle déclaratif, 16
variable, 40, 46, 47
Dawkins, Richard, 224
DCG (Definite Clause Grammar), 137
décision temporisée (time out), 260
déclaratif, 105, 220
declare (instruction), 2, 89
convention syntaxique du livre, 89
décomposition fonctionnelle, 131
define (clause dans foncteur), 169
délabrement de logiciel, 259
Delay (procédure), 16
dépendance
application compteur de fréquences des
mots, 175
composant, 173
contexte de grammaire, 30
DEPS (dernier entré premier sorti), 271
déréférencer, 43
dernier entré premier sorti (DEPS), 271
désallocation, 76
design by contract (conception par contrat), 293
design pattern (motif de conception), 269
détection tardive d’erreurs (à l’exécution), 282
déterminisme (programmation déclarative), 105
développement de logiciel, 166, 249
évolutionnaire, 251
à grande échelle, 249
à petite échelle, 166
© Dunod – La photocopie non autorisée est un délit