|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
McGettrick A.D. — The Definition of Programming Languages |
|
|
Предметный указатель |
users 2—4 86 182 244
Uzgalis, R.C. 206 259
Value 176 206
van der Meulen, S.G. 259
Van Wijngaarden grammar 72 189—208 247 255 259
van Wijngaarden, A. 189 191 205 247 249 259
Verb 86
Verification 160—172 255 258
Vienna 96—98 111 260
Vienna Definition Language (VDL) 5 97—98 111—137 241 243 249 252 258
Vienna Development Method (VDM) 260
Visibility 182
Vocabulary 8
Voiding 193—194
Wadsworth, C. 210 260
Walk, K. 123 129 257 258
Watt, D.A. 154 258
Watt, J.M. 50 259
Waychoff, R. 49 256
| Weak dereferencing 194
Weak position 194
Weakest element 222
Weakest liberal precondition 168
Weber, H. 260
Wegner, P. 258
Welsh, J. 258
While loop 170 200—201 233
Wichmann, B.A. 60 256—258 260
Widening 193—195
Wilkes, M.V. 241 260
Wirth, N. 48—50 71 138—139 257—260
Wittgenstein, L. 60
Wooley, J.D. 256
Working Group 2.1 (of IFIP) 42 71 175 179 182
Wulf, W.A. 259
Y-operator 217—218 22 235
Yeh, R.T. 259
Zeisel, G. 258
|
|
|
Реклама |
|
|
|