|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Klerer M, Reinfelds J — Interactive systems for experimental applied math (Proc ACM symposium) |
|
|
Предметный указатель |
Abraham, C. 196—202
Abrahams, P. 90
Activation tag 422
Active Language I 106—137
Adams method 287
Adams, E. 286
Albert, M.R. 383 422
Algebraic manipulation 178
Algol 57 59 73 203—205 208 220 60 45 107 110
Amann, C. 4 10 183—191
AMBIT/G 423—435
Ammerman, A.B. 349—351 351
AMTRAN 4 44—66 215—221 243 383
Anderson, R.H. 156 163 436—459 459 463 466
APEX time-sharing system 168
APL 4 22—37 63 203 390—399
Arithmetic syntax 440
Artificial Language (AL) 101—105
ASCII code 363
Ashenhurst, R.L. 317 323 333
Assembly language 248
atoms 140
Aumann, C. 179—182 182
Automatic array 54 415
Automatic error control 304 329
Automatic formatting 62
Automatic numerical analysis 5 30 68
Automatic problem solving 48
Background 179 267
Background queue 259
Backus Normal Form 83 435
Baker, C.L. 66
Baker, M. 383
BASIC 63 100
Batch processing 397
BBN Graphacon 18 60
Bernick, M.D. 202
Bernstein, M.L. 458
Binford, F. 286 293
Bloom, S. 163
Boas, M.L. 285
Bobrow, R.J. 154 410
Boehm, B.W. 343—345 345
Borman, P.R. 341—342
Bossert, W. 254
Bottom-up parsing algorithm 438
Brackett, J. 66 254 348 383
Bradley, G.W. 101—105
Breed, L.M. 37 390—399 463
Bright, H.S. 314—334
Brillhart, J. 137
Brown, R.M. 458
Buckingham, R.A. 137
Bullock, D.L. 383
Busch, K.J. 225—240
Butcher, J.C. 340
CAL 106
Calingaert, P. 285
Callender, E.D. 202
Carr, J.W. 319 323 331
Chang, W. 285
Character sets 9
Chartres, B.A. 331
CHARYBDIS 155—163
Cheatham, T.E., Jr. 195
Cheek, T.B. 66
Cheng, H. 383
Cheydleur, B.F. 318 555
Christensen, C. 423—435 435 465
Clem, P.C. 383 422
Clem, P.L., Jr. 219 313 410
Cody, J. 321 334
Coffman, E.G., Jr. 257—270 270 285
Coherent programming 167—177 385
Collins, G.E. 83 90
Collins, L. 384
Columbia University System 383
Compiler interpreter 405
Complex operands 358
Composite symbols 7
Computer-aided instruction 7 286—293
Concatenation operator 358
Console programming 4
Conte, S. 309
Context dependency 5 56 435
Context-free replacement rule 441
conversational computing 203—214
Conway transition diagram 393
Conway, M.E. 399
Covington, M.V. 241 254
Coward, D.J. 384
Cowell method 337
Cowell, P.H. 340
Crommelin, A.C.D. 340
Crutchfield, R.S. 241 254
Cullen, R.P. 294—297
Culler, G.J. 10 14 20 27 66 136 177 254 355—384 382 383 422 462—466
Culler-Fried 3 63 106 243 247 302
CURRICULUM-1 461
Daley, R.C. 240
Davis, M.R. 345 458
De Vogelaere, R. 106—137
Deactivation tag 422
deBoor, C. 309
DeNuzzo, J. 383
Deutsch, L.P. 137 432
Diamond node 427
Dijkstra, E.W. 422
Dirac — Kronecker delta 15
Direct user control 356
Directed graphs 423
Display 14 155 161
Dixon, W.J. 383
Dorn, W.S. 215 219
Duncan, G.E. 339
Durham, H.L., Jr. 340
Dyadic functions 22
Dynamic buffers 201
Dynamic lists 201
EASL 63 91—96
Easy 179
Edwards, D.J. 90
Ellis, T.O. 345 458
Ely, C.A. 44—66
Engelman, C. 762 163
Erlang's classical model 263
error control 304
EVAL operator 360
execution stack 391 393
Expandable instruction 56
Experimental mathematics 3
Extensible alphabets 7 40
External procedure 408
Falkoff, A.D. 22—37 37 214 396 399
Farrington, С.C. 254
Feder, J. 437 459
Feingold, S.L. 283
Feldman, J.A. 139 154
Feller, W. 270
Field, E.C. 383
Flenker, L.A. 383 422
Flexowriter 436
Flip 319
Floating-point hardware 315
Fluid dynamics 21
Foreground-background model 258 265 268
Forgie, J.W. 167—177 777 240 389
FORMAC 139 196
Formula ALGOL 196
FORTRAN 45 56 57 59 68 91 196 220 346—348
| FORTRAN program processor 325
Francis, О.B., Jr. 339 340
Frankowski, K.S. 178
Fried, B.D. 9 10 11—21 27 66 136 177 254 382 383 384 412 422 462—466
Frye, С.H. 283
Gaches, J. 332
Gallaher, L.J. 335—340 339
Garbage collection 427
Gauss — Jordan elimination 31
Gaussian wave functions 371
Geuder, J.C. 331
Global operator 359
Goldstein, M. 315 318 555
Goldstine, H.H. 552 334
Gragg, W.B. 340
Graham, R.M. 334
Graphic display terminal 44 46 60 92
Graphic input 18
Gray, H.L. 319 555
Greenberger, M. 66
Gregory, R.T. 318 555
Griffiths, T.V. 438 459
Groner, G.F. 545 456 458
Grossman, F. 10 183—191 191
Gwynn, J.M. 339
Haag, J.N. 284—285
Haaser, N.B. 137
Hale, H.G. 559
Hammer, C. 557
Hand-drawn character recognition 456
Hard copy 19
Harrison, C., Jr. 319 555
Hart, T.P. 90
Hash coding 139
Hastings, C. 334
Hearn, A.C. 79—90 90 463 464 466
Hebert, H.J. 192—195
Heffinger, L.O. 384
Henrici, P. 340
Hermitian matrices 21
Hill, P.B. 177 385—389
Householder, A.S. 332
Huff, R.W. 383
Index of significance 319
Instantiation 288
Integral equation 378
Interactive system 3 11 44 271—285 346 460—461
Internal procedure 408
Interpreter 59 405
Interval arithmetic 316
Iturrioga, R. 202
Iverson language 390 463
Iverson, К.E. 4 10 22—37 57 66 214 396 399
Jett, A.V., Jr. 215—219
Johnson, K. 383
Jones, M.M. 66
JOSS 65 100 142 203 243
Kahrimanian, H.G. 202
Kanner, H. 555
Kaplow, R. 66 254 348 383
Karplus, W.J. 9 10 13 20
Kelly, L.G. 332
Kemeny, J.G. 66
Kendall, D.G. 259 270
Keston, H. 257 270
Keyboard input 5 61 183
Kinetic theory 21
Kirsch, R.A. 437 459
Kleinrock, L. 259 270 285
Klerer, M. 3—10 10 60 66 156 765 183—191 190 191 383 436 453 458 463 465 466
Krakauer, L.J. 436 459
Krishnamoorthi, B. 259 260 270
Kurtz, T.E. 66
Lampson, B.W. 137
LaSalle, J.P. 137
Lathwell, R.H. 57 390—399 463
Lazarus, R. 38—43
LC- 203—214
Leavenworth, В.M. 195
Ledley, R.S. 437 459
Lefkovits, H.C. 192—195
Lemke, R.L. 137
Levin, M.L 90
Lincoln Reckoner 167—177 385—389
Linguistic context 387
Linguistic mode system 286
Lisp 56 80 139 149 155—163 248
LISt Processing 55
Local operator 359
Local variable 393
locators 40
Lock, K. 222—224 224
Logical mask 379
Luderer, G.W.R. 225—240
Lukasziewicz notation 141 417
Macro 14 109 193
Macro-compiler 44 59
MADCAP 39 42
Madon 384
Manacher, G.U. 286—293
Manelski, D.M. 192—195
Maniac II system 38—43
Manove, M. 163
MAP 63 383
Margulies, R.S. 383
Marill, T. 777
Markov chain 260
Martin, W.A. 765 436 459
Mathematical laboratory 355—384
Mathlab 155 156
Matrix 28 440 454
Matthews, H.F. 97—100
Matula, D.W. 334
May, J. 70 63 66 156 765 790 383 436 453 458
McCarthy, J. 90 754 435
MESSAG 272 278
Metropolis, N. 317 323 555
Millen, J.K. 155—163 463
Miller, L.W. 257 270
Miller, R.G., Jr. 259 270
Miller, R.H. 555
Miller, W.F. 459
Mimic 294 297
Mitchell, J.G. 203—214
Moler, C.E. 552
Monadic function 22
Mooers, C.N. 154 195
Moore, R.E. 316 332
Moshos, G.J. 316 332
Moskovites, P. 424
MULTICS 226
Muskat, J.B. 341—342
Name table 407
NAPSS 50 63 67 301 400
Narasimham, R. 459
Natural break point 418
Naur, P. 214 422
Neumann, P.G. 240
Nishinago, R.G. 383
Node 423
Numerical analysis 49 67 335 400—410
Oettli, W. 332
OLDAS 294—297 390
On-line programming 15 167 355
OPS-5 63
Ordinary differential equations 335—340
Ossakow, S.L. 384
overhead costs 259
Overlay 228
Parallel processing 417
|
|
|
Реклама |
|
|
|