“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 344 — #354
i
i
i
i
i
i
i
i
344
Index
interface, 169, 232
héritage, 272
Java, 305
interface graphique
entrée/sortie de texte, 162
programmation par composants, 261
QTk, 162
dans application, 175
interface interactive, 89
interpréteur, 39
approche pour définir la sémantique, 39
méta-circulaire, 39
invariant, 130, 226
IsDet (fonction), 212, 214
fonction IsProcedure, 55
J
Janson, Sverker, xi
Java, 304–310
Jefferson, Thomas, 10
Johnson, Ralph, 303
K
Knuth, Donald Ervin, 151
Kowalski, Robert A., 220
Kurzweil, Raymond, 158
L
Label (fonction), 54
Labo interactif, x, xiii
l calcul, 38
langage
Absys, 220
Ada, 241
Algol, 220, 241, 269
C++, 41, 46, 76, 266, 269, 283, 287, 290,
304, 304
CLU, 233
Common Lisp, 58
C, 76
Eiffel, 291, 293
Erlang, 77, 248, 257
Fortran, 220
Haskell, 36, 41, 77, 110, 133
Java, 22, 38, 41, 46, 77, 239, 248, 266,
269, 283, 287, 290, 304, 304–310,
311
Lisp, 6, 36, 58, 77, 125, 220
ML, voir Standard ML
Mercury, 110
Oz, x, 46, 77, 186, 195, 282, 286
Pascal, 239
Prolog, 6, 26, 46, 77, 105, 110, 137, 220
Python, 283
Ruby, 283
Scheme, 26, 41, 58
Simula, 220, 269
Smalltalk, 41, 77, 269, 286, 287, 290
Standard ML, 26, 41, 110, 133
Visual Basic, 261
d’assemblage, 220, 304
de spécification, 111
formel, 30
humain, ix
naturel, 27, 28, 36, 166
pratique, 27
symbolique, 52
langage noyau, 33
avec état, 227
concurrent dataflow, 186
déclaratif avec exceptions, 96
déclaratif avec types sécurisés, 144
déclaratif descriptif, 109, 162
déclaratif, 47
L A T E X 2 ´ (système de typographie), 259
Latin-1, 258
Length (fonction), 130
lexique bilingue de l’informatique, x
lien
dynamique, 285
statique, 285
symbolique, 260
LIFO (last-in, first-out), 271
Linux (système d’exploitation), 280
Liskov, Barbara, 233
i
i
i
i
i
i
i
i
344
Index
interface, 169, 232
héritage, 272
Java, 305
interface graphique
entrée/sortie de texte, 162
programmation par composants, 261
QTk, 162
dans application, 175
interface interactive, 89
interpréteur, 39
approche pour définir la sémantique, 39
méta-circulaire, 39
invariant, 130, 226
IsDet (fonction), 212, 214
fonction IsProcedure, 55
J
Janson, Sverker, xi
Java, 304–310
Jefferson, Thomas, 10
Johnson, Ralph, 303
K
Knuth, Donald Ervin, 151
Kowalski, Robert A., 220
Kurzweil, Raymond, 158
L
Label (fonction), 54
Labo interactif, x, xiii
l calcul, 38
langage
Absys, 220
Ada, 241
Algol, 220, 241, 269
C++, 41, 46, 76, 266, 269, 283, 287, 290,
304, 304
CLU, 233
Common Lisp, 58
C, 76
Eiffel, 291, 293
Erlang, 77, 248, 257
Fortran, 220
Haskell, 36, 41, 77, 110, 133
Java, 22, 38, 41, 46, 77, 239, 248, 266,
269, 283, 287, 290, 304, 304–310,
311
Lisp, 6, 36, 58, 77, 125, 220
ML, voir Standard ML
Mercury, 110
Oz, x, 46, 77, 186, 195, 282, 286
Pascal, 239
Prolog, 6, 26, 46, 77, 105, 110, 137, 220
Python, 283
Ruby, 283
Scheme, 26, 41, 58
Simula, 220, 269
Smalltalk, 41, 77, 269, 286, 287, 290
Standard ML, 26, 41, 110, 133
Visual Basic, 261
d’assemblage, 220, 304
de spécification, 111
formel, 30
humain, ix
naturel, 27, 28, 36, 166
pratique, 27
symbolique, 52
langage noyau, 33
avec état, 227
concurrent dataflow, 186
déclaratif avec exceptions, 96
déclaratif avec types sécurisés, 144
déclaratif descriptif, 109, 162
déclaratif, 47
L A T E X 2 ´ (système de typographie), 259
Latin-1, 258
Length (fonction), 130
lexique bilingue de l’informatique, x
lien
dynamique, 285
statique, 285
symbolique, 260
LIFO (last-in, first-out), 271
Linux (système d’exploitation), 280
Liskov, Barbara, 233