McGettrick A.D. — The Definition of Programming Languages :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

McGettrick A.D. — The Definition of Programming Languages

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: The Definition of Programming Languages

Автор: McGettrick A.D.

Аннотация:

The subject matter of this book evolved from a desire which I had to learn and understand two of the relatively recent developments in computer science and what motivated them. The first relates to the definition of the programming language ALGOL 68, the second to the work of Dana Scott and the late Christopher Strachey in Oxford and their development of mathematical or denotational semantics. The common theme is, of course, the definition of programming languages.

Язык:

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1980

Количество страниц: 179

Добавлена в каталог: 06.02.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

$\lambda$       123
$\lambda$ -calculus      212—218 220
$\lambda$ -expression      213—218 220 253
$\lambda$ -notation      64—67 212—218 220 257
$\mathcal{M}$       211 234—236
$\mathscr{C}$       211—212 230—231 234—236
$\mathscr{E}$       211 231 234—236
$\mu$ operator      115—122 128
$\mu_{0}$ 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

1 2 3

О проекте