“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 352 — #362
i
i
i
i
i
i
i
i
352
Index
Shakespeare, William, 313
Show (procédure), 216, 314
signature (d’une procédure), 124
simulation, 158
inadéquation du modèle déclaratif, 154
singularité, 158
site Web du livre, x
situation de compétition, 185
ski parallèle, 183
skip (instruction), 63
small world graph, 262
Smolka, Gert, xi
64 bits (adresse de), 80
64 bits (mot de), 75, 157
sortie
de bloc, 266
standard, 307
soulignement (underscore), 49, 324
sous-classe, 281, 287, 291
sous-type
hiérarchie de classe, 291
types de base, 50
spécification, 224
composant, 261
de pile ADT, 142
statique
lien, 285
typage, 50
Java, 305
stderr (sortie standard d’erreur), 97
stdin (entrée standard), 178, 307
stdout (sortie standard), 307
stream (flot), 203
StringToAtom (fonction), 175
structure
compositionnelle, 262
effet de la concurrence, 198
grammaire, 28
hiérarchique, 252
non compositionnelle, 262
programme, 167, 168
répartition, 203
structure de données
active, 79
arbre, 137
classe, 276
composée, 19, 51
dictionnaire, 174
enregistrement, 51
externe, 79
liste, 51, 125
longue vie, 80
mémoire, 76
partielle, 26, 44
pile, 142
protégée, 144, 234
récursive, 126
taille, 154
tuple, 51
substitution, 122
sucre syntaxique, 37, 81–86
local instruction, 37
suffixé (postfix), 322
super-ordinateur, 157
superclasse, 281, 310
surcharge, 249
suspension
à cause d’erreur, 47
erreur de programme, 93
fil, 190
Sussman, Gerald Jay, 39
Sussman, Julie, 39
syntaxe, 27
constructions imbriquables en Oz
(nestable constructs), 318
déclarations imbriquables en Oz (nestable
declarations), 318
forme (en Oz), 320
jeton (en Oz), 317
langage, 28
langage Oz, 317
lexicale de Oz, 324
terme (en Oz), 318, 320
système d’exploitation
Linux, 280
Mac OS X, 201
Unix, 201, 260, 307
VM (Virtual Machine), 38
Windows, 201
i
i
i
i
i
i
i
i
352
Index
Shakespeare, William, 313
Show (procédure), 216, 314
signature (d’une procédure), 124
simulation, 158
inadéquation du modèle déclaratif, 154
singularité, 158
site Web du livre, x
situation de compétition, 185
ski parallèle, 183
skip (instruction), 63
small world graph, 262
Smolka, Gert, xi
64 bits (adresse de), 80
64 bits (mot de), 75, 157
sortie
de bloc, 266
standard, 307
soulignement (underscore), 49, 324
sous-classe, 281, 287, 291
sous-type
hiérarchie de classe, 291
types de base, 50
spécification, 224
composant, 261
de pile ADT, 142
statique
lien, 285
typage, 50
Java, 305
stderr (sortie standard d’erreur), 97
stdin (entrée standard), 178, 307
stdout (sortie standard), 307
stream (flot), 203
StringToAtom (fonction), 175
structure
compositionnelle, 262
effet de la concurrence, 198
grammaire, 28
hiérarchique, 252
non compositionnelle, 262
programme, 167, 168
répartition, 203
structure de données
active, 79
arbre, 137
classe, 276
composée, 19, 51
dictionnaire, 174
enregistrement, 51
externe, 79
liste, 51, 125
longue vie, 80
mémoire, 76
partielle, 26, 44
pile, 142
protégée, 144, 234
récursive, 126
taille, 154
tuple, 51
substitution, 122
sucre syntaxique, 37, 81–86
local instruction, 37
suffixé (postfix), 322
super-ordinateur, 157
superclasse, 281, 310
surcharge, 249
suspension
à cause d’erreur, 47
erreur de programme, 93
fil, 190
Sussman, Gerald Jay, 39
Sussman, Julie, 39
syntaxe, 27
constructions imbriquables en Oz
(nestable constructs), 318
déclarations imbriquables en Oz (nestable
declarations), 318
forme (en Oz), 320
jeton (en Oz), 317
langage, 28
langage Oz, 317
lexicale de Oz, 324
terme (en Oz), 318, 320
système d’exploitation
Linux, 280
Mac OS X, 201
Unix, 201, 260, 307
VM (Virtual Machine), 38
Windows, 201