|
|
 |
| Àâòîðèçàöèÿ |
|
|
|
| Ïîèñê ïî óêàçàòåëÿì |
|
|
|
|
|
|
|
 |
|
|
|
| McGettrick A.D. — The Definition of Programming Languages |
|
|
|
| Ïðåäìåòíûé óêàçàòåëü |
Landin, P.J. 11 96 257
Language 9—10
Language design/designer 1 4 38—41 58 175—178 209 236—239 243 253 260
Language theorist 2 4 244
Larmouth, J. 35 256
Lattice 221 260
Lauer, P. 257 258
Ledgard, H.F. 255 260
Lee, J.A.N. 255
Left derivation/parse 14 16
Left part 8 18
Left recursion 21—24 45—46
Left-linear 12
Lewis, P.M. 256 258
Lexical analysis/scan 14 57 59 99 106 145 152 249
LIMIT 222 226—227
Lindsey, C.H. 259
Liskov, B. 258
Lisp 4 30 61—67 112 120 137 212 251 255 257
LIST 61 72 95 119—121 190 224
LL grammars/languages/parsers 20—23 26—29 153 256
Local circularity 149
Local components 124—136
Locale 198—203
Location 228 233—234
London, R.L. 258 259
Long-Range Committee 84
Lookahead 20—25
Loop invariant 163 167
Loops 32—36 39—40 157—158 170 200—201 233
Low-level-syntax/parser 101 105—106
LR grammars/languages/parsers 23—29 153 251 256
Lucas, P. 123 129 257
M-expression (meta-expression) 62—66
Machine independence 84 85 96
Machine infinitesimal/infinity 92 94
Machine state 123—137 212 231—234 244
Machine-state grammar/syntax 99—101
Macro 131 133 181 202 205
Madden, O.L. 258
Magnitude of numbers 2 41 92 94 123
Mailloux, B.J. 259
Maintenance 38 85
Manna, Z. 259
Manufacturer 2 33 37 53 84
Mapping 210—211
Marcotty, M. 255 257
Mathematical semantics 70 209—239 242—244 249 253 255 259—260
Mathematics 209—212
McCarthy, J. 61 70 96 241 257
McGettrick, A.D. 50 259
Meek position 194—195
Meertens, L.G.L.T. 259
Member 186
Metagrammar 191
Metalanguage 43—47 62 72 100 145 178 187—189 257 260
Metanotion 187—191 198—199 206
Metaproduction rule 187 189
Metarule 191
Microcode 97 99
Middle-level syntax/parser 101 105—106
Milne, R. 259
Minimal BASIC 92—94 247
Mitchell, J.G. 258
MODE 140—143 154—159 175—178 183 187—197 201—202 205—206 237—239
Mode-independent parsing 185—186
Modified ALGOL 60 Report 60 256
Modularity 96
Module 85—91 182 239 259
Monotonic function 221—223
Moser, E. 258
Mosses, P.D. 210 233 260
Naur, P. 42 43 256
Necessary environment 127
Nests 198—205
Neuhold, E.J. 258
NIL 62 67—69
Non-terminal 7 8 11 15—18 22 25 43 48—49 72 88 100—101 139—153 184—187 211 241 246—247
Normal form 216
Notion 186
NPL 95—96
Nucleus 85—87
Null object 113
Numeral 58 209—211
Numerical analysis 181
Objects 113—121
objects, composite 113—120
Objects, elementary 113—115
Objects, null 113
Olivia, P. 258
Operating System 91 95 231
Operational approach/semantics 70 97 136—137 209 242—244 252—253
Operator precedence 241
OR 101
Orthogonal design/orthogonality 72 176—178 236 238 252 259
OS/360 95
outer language/syntax 241—242 252—253 260
Output predicate/variable 160—165
Overdetermined element 222
Overflow 82 93 181
Paillard, J.-P. 259
Paradox 210 227 238 243
Paradoxical combinator 218
Paranotion 190
parse 122
Parse tree 12—13 122 139—144 241
Parse/parser 12—27 43—44 99—100 105—108 112 121—122 185—186 241 247 249
Partial correctness 164 174
Partial ordering 221
Pascal 5 50—51 138 153—160 167—172 237 240 245 252—255 258
PASS 133—136
Peck, J.E.L. 50 259
Perlis, A. 42 256
Permanent relationship 204
Permutation 101
PL/I 1 5 70 95—137 240—243 247 252—258
Plain mode 187
Pneuli, A. 259
Popek, G.L. 258
Portability 2 37 41 53 178—180
Postcondition 165 168
Pragmatic remarks 176 179
precedence of operators 76—77 80 241
Precision of numbers 2 4 41 92 94
Precondition 165 168
Predicate 118—121 160—167 196—200 205 247
Primitive domain 223—34
Primitive recursive 206
Principle of abstraction 236—238 252
Principle of correspondence 236—237 252—253
Principle of orthogonality 252
Priority 140 161 201—202
processexception 82—83
Processor 33 41
Production (rules) 7—11 14 20—26 72 143—152 186—189 249
Production system 247—248 260
Program proving/prover 160—172 255 258
Program transformation 2 173
Program variables 160—163
Program verification 160—172 255 258
Projection 225 229
Proof rules 165—172
Proper element 223—225
Protonotion 186—187
Pseudo-comment 180—181
Radin, G. 258
Range (of numbers) 2 41 92 94 123
Recogniser 14—18 23 28—29 43—44
Recursion/recursive function 65—66 119 122 125 138 189 205—207 211 235 238 249 252
recursive descent 15—18 20 28 69 118 123 211
| Reduce/reduction 24—26
Reduced context-free grammar 143—153
Rees, M.J. 258
Reflexive domain 220
register 36
Regular 11—12 28 48 236—237
Relationship 204
Reliability 172 174
Repetitive statement 157—158 170 200—201 233
Representations 175 178—180
Rewriting rule 8
Right derivation/parse 14
Right linear 11
Right part 8 17—18
Robinson, A. 96 257
Rosenkrantz, D.J. 256
Rosser, J.B. 216
Roubine, O. 260
Rounds, E.M. 260
Rowing 193—195
Rule of inference 166—167
Russell's paradox 218—220 238
Russell, B. 218—220
Rustin, R. 260
S-expression (symbolic expression) 61—66
s-grammar 17
Salomaa, A. 256
Sammet, J.E. 257
Sandewall, E. 257
Satterthwaite, E. 257
Sayward, F.G. 257
Scene 203—204
Scope problems/rules 56 178—182 203
Scott, D. 5 70 209—210 220 225—227 243 260
Selection 186
selectors 112—136
Selectors, composite 114—136
Selectors, simple 113 131
Self-application 218—220 226
Semantic (interpretation, valuation) function 144 210 212 233—235 253
Semantic domain 211—212 218 223—235 233
Semantics 42 96—97 138 140 146—147 152
Semantics of ALGOL 60 53—59
Semantics of ALGOL 68 175 177 203—208
Semantics of ALGOL W 76 80—83
Semantics of BASIC 93—94
Semantics of COBOL 87—91
Semantics of LISP 66—70
Semantics of PL/I 100 107—111
Semantics of VDL 123—137
Semantics, axiomatic 160 168—174
Semantics, denotational 227—236
Semantics, dynamic 53—54 205
Semantics, functional 227—236
Semantics, mathematical 227—236
Semantics, operational 107—111 123—137
Semantics, static 53—54 59 204—205
Sentence 7—10 13—14
Sentential form 9 14
sequencing 166 230—233
Serial clause 178 201
SHARE 95
Shaw, M. 259
Shift/shifting 23—26
Short-Range Committee 84 85
Side-effect 54 168 172—173 243
Simonet, M. 259
Simple selector 113 131
Sintzoff, M. 50 259
Snyder, A. 258
Soft position 194
solvable 27—29
STACK 124—136
Standard environment/function/prelude/procedure 82 171 175 178—183 198 200
Standards 59
Standards, BASIC 92—94
Standards, COBOL 85—91
Standards, FORTRAN 66 30—38
Standards, FORTRAN 77 38—42
Standards, PL/I 98—111
Start symbol 8
State 123—137 212 231—234 244
State-transition function 123
Statement counter 124 126 129—136
Statement function 35 40
Static semantics 53—54 59 204—205
Stearns, R.E. 256 258
Steel, T.B. 255
Stigleitner, H. 257 258
Storable/stored values 227—228 233—234 244
Storage component/part 124—136
STORE 227—234 244
Stoy, J.E. 210 260
Strachey, c. 5 70 209—210 259 260
Strength 194—195
Strings of language 10 17
Strong position 194—195
Strongest element 222
Substitution, definition by 55 81 251—252
Substitution/substitution rule 214—216
Symbol 186
Symbolic expression (S-expression) 61—66
Syntactic domain 212
Syntactic position 192—197
Syntax 7 11 101 210 233 240—242
Syntax analysis 14 17 57—59 99 153
Syntax chart/diagram 41 49—53 256 259
Syntax of ALGOL 60 42—52
Syntax of ALGOL 68 175 178 183—203
Syntax of ALGOL W 72—81
Syntax of BASIC 93—94
Syntax of COBOL 87—90
Syntax of LISP 61—66
Syntax of PASCAL 143—159
Syntax of PL/I 99—107 121—123 125—129
Syntax, abstract 59 96 100—109 112 121—131 233 241
Syntax, dynamic 248—249 260
Syntax, inner 214—242 252—253 260
Syntax, outer 241—242 252—253 260
Syntax, rule 10
Syntax, tree 104
Synthesized attribute 140—160 183 205 240
t-notation 74—81 183—184 188—189
Tanenbaum, A.S. 258
Taylor, W. 49 256
Tennent, R.D. 233 260
Terminal 7 8 11 16—18 24—25 43 48—49 72 100—101 139—153 178 184—187 242
Terminal metaproduction 187—188
Termination 164—165 174 231
Text component/part 124—136
Theorist 2 4 244
Top element 222—224
Total correctness 164 174
Transformation (of programs) 2 173
translate 105
Translator 30 99—100 104 109—110 122—123 241
Transput 181—182
TREE 102—118 122—130 139—143
Triance, J.M. 257
Triplet rules 79 183
Turner, L. 49 256
Two-level grammar 72 189—208 247 255 259
TYPE 47 53—60 76—80 139—143 154—159 169 177 237—239 248—249
Type 0, 1, 2, 3 grammar/language 12 27—28 191
Ullman, J.D. 255 256
Undefined element 231
Unique name generator 125—136
Uniting 193—194
Unsolvable 27 28 191
UPDATE 228
|
|
|
| Ðåêëàìà |
|
|
|
|
|
Î ïðîåêòå