|
|
Àâòîðèçàöèÿ |
|
|
Ïîèñê ïî óêàçàòåëÿì |
|
|
|
|
|
|
|
|
|
|
McGettrick A.D. — The Definition of Programming Languages |
|
|
Ïðåäìåòíûé óêàçàòåëü |
123
-calculus 212—218 220
-expression 213—218 220 253
-notation 64—67 212—218 220 257
211 234—236
211—212 230—231 234—236
211 231 234—236
operator 115—122 128
operator 114—115 122 128—129
<-control-state-> 107—111
<-interpretation-state-> 107—111
<-machine-state-> 107—111
<-program-> 107—111
<-program-state-> 107—108 111
<-translation-state-> 110—111
a posteriori mode 194
a priori mode 194
Abrahams, P.W. 257
Abstract machine 98—99 123—126 242—243
Abstract program/syntax/form/tree 59 96 99—109 112 118 121—131 233 241 258
Abstraction 213 252
Accept state 24—25
Accuracy (of numbers) 2 4 41
action 22 146 152 204
Ada 245 260
Addyman, A.M. 258
Affix grammar 247 260
Aho, A.V. 255
Alagic, S. 258
Alber, K. 258
ALGOL 60 (Revised) 4 30 42—61 69—72 95 138 175—178 183 219 227—228 233 237 240—242 247 251—257 260
ALGOL 68 5 15 50 53 71—72 127 147 156 175—209 219 236—241 249 253 255 258—260
ALGOL W 5 71—83 178 183—184 201 240 253 255 257
Aliasing 173
Allison, D.C.S. 259
Alphabet 8
alternative 186
Ambiguity 18—19 28—29 44—45 54 59—60 71 157 177 189—190 197 212 218 242 256
Anderson, R.B. 258
ANSI (American National Standards Institute) 31 38 84 92 97—98 256—258
Antecedent 166—167
Applicability clause 2
Application 212—219 228
apply 68
Approximation (relation) 220—227
Arbib, M.A. 258
ASA (American Standards Association) 31
Ashcroft, E.A. 258
assertion 160—165
Assignment axiom/rule 166
Assignment statement/assignation 32 76 93—94 104 108—109 112 118 123 155—156 165 169 192—194 197—200 229 235
Association list 68
Atkinson, R. 258
Atoms/atomic symbols 61—64
Attribute 76 80 96 105 123 125 139—160 183 198—199 205 240 247
Attribute directory 125 130
Attribute grammar 139 142—153 249 255 258
Attribute occurrence 144—148
Attribute translation grammar 146 152
Attribute, inherited 141—160 183 198 205 240
Attribute, synthesized 140—160 183 205 240
Axiom 166—169 174
Axiomatic approach/semantics 159—174 206 242 244 249 253 255 258—259
Back substitution 162—165
Backtracking 20 23 26
Backus — Naur form see "BNF"
Backus, J. 30 43 256
Barnes, J.G.P. 260
BASIC 5 71 91—94 247 252 255 257
Bauer, H. 257
Becker, S. 257
Bjorner, D. 260
Block activation 124—129
BNF (Backus — Naur Form) 42—53 57 59 66 69 87—88 93 99 100 112 139 153 183—184 210 233 239 246 251 260
Bochmann, G.V. 255 258
Boom, H. 259
Bottom element 222—224
Bound/bound variable 65 212—214
Brainerd, W. 256
Brewer, R. 258
Burnett-Hill, D.G. 258
CAR 63—66
Cardinality 219
Case statement 169 203
CDR 63—66
Chain 222
Chaplin, R.I. 256
Characteristic condition 115
Characteristic set 115
Chomsky hierarchy 11—12 191
Chomsky, N. 11 191
Church — Rosser 216
Church, A. 216
Circularity 147—149
Clarke, P.A. 256
clauses 87—89
Cleaveland, J.C. 206 259
Clint, M. 258
CLU 258
COBOL 5 71 83—91 240 246 252 255 257
CODASYL 84
Codomain 210 212
Coercion 183 192—196 229 239
Command 211—212 229—233
Command continuation 230—234
Comments/commentary 57
Compiler writer 2 4 19 33 41—45 152 191 252
Compiler-compiler 153 260
Compiler/compilation 3 4 14—15 19 30 43—44 53—54 57 59 69—71 86—91 97 99 147 152—153 175—177 180—182 204—205 208 228 240—244 247—249 256 259
Complementary definitions 2
Complete lattice 221
Components (global, local, state) 115—118 124—136
Composite domain 224
Composite object 113—120
Composite selector 114—136
Concatenation 11 101
Concatenation rule 166
Concrete form 99
Concrete program/syntax 59 96 100—107 112 121—122 241
Conditional 64 108—109 156—157 169 233—235
Conform 33 41 87 92—93 98 100
Cons 63—66
Consequence rules 167
Consequent 166—167
Consistent substitution 75 80 188—192 208
Constructor operator 114
Contents 228
Context-free 11—12 19 28—29 43 73 138—139 142—153 159 190—191 205 247—249 258
Context-sensitive 11 27—28 47 53 87—89 99 103 105 152 190 196—199 205 229 240—241 247—248 252
continuations 229—235 244 260
Continuations, command 230—234
Continuations, expression 230—235
continuous 221—227 238
Control component/part 124 126 129—136
correctness 2 3 161—174
Correspondence 252—253
Crosbie, R.E. 256
Curried 213—232
Dangling else 58 177
Day, A.C. 256
De Morgan, R.M. 60 256 258
Define-program 109—110
Definition by substitution 55 81 251—252
Denotable values 227—228 234
Denotation directory 125 130
Denotational approach/semantics 209—239 242—244 249 253 255 259—260
Dependency set 148
Dependent 115
Deproceduring 193—194
Dereferencing 194—195
| Derivation 9 12—13
Derivation tree 12 13 139 149
Designator 104 109 241
Dijkstra, E.W. 244 258
Directed set 222
Directory attribute 125 130
Directory denotation 125 130
Discriminated union 226
Do statement 32—36 39—40
Domain 210—212 220—236
Domain equation 226
Domain, composite 224
Domain, primitive 223—224
Domain, semantic 211—212 218 223—225 233
Donahue, J.E. 258
Dot-notation in LISP 62
Dummy variable 65
Dump component/part 124—136
Dynamic semantics 53—54 205
Dynamic syntax 248—249 260
Efficiency 31 34—41 69 71 96—97 172—178
Elementary objects 113—115
Elgot, C.C. 96 257
Empty string/symbol 17—18 22
Enhancement modules 92
Enumeration of trees 102
environ 198—203
Environment 123—129 143 153—159 175 178 180—183 198—200 205—208 227—235 244 247—248
Environment, necessary 127
Environment, standard 175 178 180—183 198 200
Epilogue component/part 124 126 129—136
eq 64—69
Equivalent grammars 12
Errors 82 92—93
Euclid 172 258
Euler 247 260
eval 68
EVALQUOTE 67—68
Eve, J. 72 257
exception 82 92—93
Execute-assignment-statement 108
Execute-if-statement 109
Expression 45 76—80 92—94 134 139—140 154 201—203 211 229—236
Expression continuation 230—235
Extended range 36 39
Factorisation 48
Files 91
Final predicate 160—165
Findlay, W. 258
Finite choice grammar 12 27
Finite state machine 28 48
Firm position 194
Fisker, R.G. 259
Fixed point 217—218 226
Fleck, M. 258
FORM 66—67
Formal proof 165—167
Formalism 59—60
FORTRAN 4 30—42 50 52 59 87 95 240—246 251—252 255—256
FORTRAN 4, FORTRAN 66 30—40 59 240—243 251—252 256
FORTRAN 4, FORTRAN 77 31 38—42 240—243 251 256
Foster, J.M. 255
Free/free variable 65 212—214
Functional processing modules 85—91
Functionality 228—235
GEDANKEN 233
Generic term 88
Ginsburg, S. 260
Global component 124—136
Goldmann, H. 258
GOTO statement 32 36 39 54 157 170
Graham, S. 257
Grammar 5—29 73—80
Grammar form 249
Grammar transformation 21—23 26—27
Grammar, affix 247 260
Grammar, attribute 139—153 249 255 258
Grammar, attribute translation 146 152
Grammar, LL 20—23 26—29 153 256
Grammar, LR 23—29 153 251 256
Grammar, s- 17
Grammar, two-level (van Wijngaarden) 72 189—208 247 255 259
Graphical representation of syntax 49—53 256 259
Griffiths, M. 256
Guttag, J.V. 258
Hanford, D.V. 260
Hansen, W.J. 259
Hardware representation 59 179 259
Hay, J.L. 256
Heising, W.P. 31 256
Heliard, J.C. 260
Herriot, J.G. 256
High-level syntax/parse 101 105—106
Hill, D. 256
Hill, I.D. 56 60 256
Hoare, C.A.R. 50 71 138 139 160 257—259
Hopcroft, J.E. 256
Horning, J.J. 256 258
Hursley 96—98 252
Hyper-rule 189 199
Hyperalternative 189
Hypernotion 189—190
Hypothetical computer 203—204
IBM 95 111
Ichbiah, J.D. 245 260
IFIP 42 71 175 179 182
Immediate derivation 9
Imperative statement 88—90
Implementation/implementor 2 4 17—18 33 41 58—61 64 70 87 90—94 97—100 123 209 242—245 252 260
Implied bracketing 45 78 201 241
Improper element 223
Inconsistent 218—220 227 243 249
Inconsistent element 222
Inductive assertion 163
Inductive expression 165
Inference rule 166—167
Informal proof 161—167
Inherently ambiguous 19 28
Inherited attributes 141—160 183 198 205 240
Initial predicate 160—165
Injection 225
Inner language/syntax 241—242 252—253 260
Input predicate/variable 160—165
Input/Output 39—41 59—60 81 92 94—95 100 107 111 181—182 206 229 234 243
Inspection 225
Interchangeability 2 37 41 53 178—180
Intermediate-Range Committee 84
International Business Machines 95 111
International Federation for Information Processing 42 71 175 179 182
Interpretation-phase 110—111
Interpreter 61 66—70 97—100 107—112 123 129—136 203—204 242—243 247
Invariant 163 167
Irreducible 216
Irregularities 4 34—37 173
Jackson, M.A. 257
Jackson, M.I. 258
Jensen, K. 258
Johnston, S.C. 255
Jones, C.B. 260
Joslin, D.A. 258
Jump 36 157 170 173 203 235
Kemeny, J.G. 91
Knuth, D.E. 256 258
Koster, C.H.A. 53 259 260
Kreig-Brueckner, B. 260
Kurtz, T.C. 91 257
Label 65—68
Lambda expression 213—218 220 253
Lambda notation 64—67 212—218 220 257
Lampson, B.W. 258
|
|
|
Ðåêëàìà |
|
|
|