“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 346 — #356
i
i
i
i
i
i
i
i
346
Index
mesure de temps
consommation de mémoire, 155
méthode
de Newton pour la racine carrée, 114
objet, 19, 278
otherwise, 295
méthodologie de conception,
voir développement logiciel
compositionnelle, 262
grand programme, 250
langage, 38
non compositionelle, 262
petite programmes, 166
Meyer, Bertrand, 271, 293, 294
milliards de dollars (budget), 294
mixfix (mixfixé), 322
mixfixé (mixfix), 322
mod opération (modulo entier), 54
modèle de calcul, 25
avec état, 227
concurrent dataflow, 186
concurrent paresseux, 186
déclaratif avec exceptions, 96
déclaratif concurrent, 185
déclaratif descriptif, 109
déclaratif sécurisé, 144
déclaratif, 47
Java, 305
modèle de coordination, 257
modèle de programmation, 25
modularité, 208, 223, 258
décomposition de système, 257
limitation du modèle déclaratif, 208
relation avec l’état explicite, 208
relation avec la concurrence, 190, 198, 212
module, 169, 254
Browser, 173
Compiler, 314
File (supplément), 160
List, 205
Module, 173, 256, 315
MyList (exemple), 170
Number, 14, 54
Pickle, 172
Property, 97, 201
QTk, 162
dans application, 175
utilisation interactive, 164
Remote, 202
bibliothèque, 178
de base (Base), 160, 171, 178
importation, 173
interface, 255
spécification, 169
système (System), 160, 171, 173, 178
unité de compilation, 254
monotonicité
réduction de fil, 189
Moore, Gordon, 157
Morrison, J. Paul, 203
mot
mémoire, 75
spécification, 168
mot clé
tableau, 323
motif de conception (design pattern), 269,
302–304
Composite, 303
Mozart Programming System, x, 1, 201, 313
Browser (outil), 91
Compiler Panel (outil), 313
concurrence bon marché, 198
consommation de mémoire, 155
Distribution Panel (outil), 314
exception non capturée, 97
Explorer (outil), 314
interface interactive, 89, 313
labo interactif, xiii
ligne de commande, 315
modules de base (Base), 178
modules de bibliothèque, 178
modules système (System), 178
MOGUL, 172
ordonnanceur de fils, 200
Panel (outil), 197, 313
rôle limité du compilateur, 283
ramassage de miettes, 80
Standard Library, 164, 175, 178
tout est exécution, 283
multi-ensemble, 190
i
i
i
i
i
i
i
i
346
Index
mesure de temps
consommation de mémoire, 155
méthode
de Newton pour la racine carrée, 114
objet, 19, 278
otherwise, 295
méthodologie de conception,
voir développement logiciel
compositionnelle, 262
grand programme, 250
langage, 38
non compositionelle, 262
petite programmes, 166
Meyer, Bertrand, 271, 293, 294
milliards de dollars (budget), 294
mixfix (mixfixé), 322
mixfixé (mixfix), 322
mod opération (modulo entier), 54
modèle de calcul, 25
avec état, 227
concurrent dataflow, 186
concurrent paresseux, 186
déclaratif avec exceptions, 96
déclaratif concurrent, 185
déclaratif descriptif, 109
déclaratif sécurisé, 144
déclaratif, 47
Java, 305
modèle de coordination, 257
modèle de programmation, 25
modularité, 208, 223, 258
décomposition de système, 257
limitation du modèle déclaratif, 208
relation avec l’état explicite, 208
relation avec la concurrence, 190, 198, 212
module, 169, 254
Browser, 173
Compiler, 314
File (supplément), 160
List, 205
Module, 173, 256, 315
MyList (exemple), 170
Number, 14, 54
Pickle, 172
Property, 97, 201
QTk, 162
dans application, 175
utilisation interactive, 164
Remote, 202
bibliothèque, 178
de base (Base), 160, 171, 178
importation, 173
interface, 255
spécification, 169
système (System), 160, 171, 173, 178
unité de compilation, 254
monotonicité
réduction de fil, 189
Moore, Gordon, 157
Morrison, J. Paul, 203
mot
mémoire, 75
spécification, 168
mot clé
tableau, 323
motif de conception (design pattern), 269,
302–304
Composite, 303
Mozart Programming System, x, 1, 201, 313
Browser (outil), 91
Compiler Panel (outil), 313
concurrence bon marché, 198
consommation de mémoire, 155
Distribution Panel (outil), 314
exception non capturée, 97
Explorer (outil), 314
interface interactive, 89, 313
labo interactif, xiii
ligne de commande, 315
modules de base (Base), 178
modules de bibliothèque, 178
modules système (System), 178
MOGUL, 172
ordonnanceur de fils, 200
Panel (outil), 197, 313
rôle limité du compilateur, 283
ramassage de miettes, 80
Standard Library, 164, 175, 178
tout est exécution, 283
multi-ensemble, 190