|
D
Darlington, 46 , 481 , 482 , 490
datatype, 225 , 226 , 227 , 228 , 234 , 236 , 237 , 238 , 240 , 248 , 249 , 250 , 253 , 254 , 256 , 258 , 260 , 261 , 262 , 263 , 265 , 268 , 269 , 271 , 272 , 274 , 275 , 283 , 303 , 362 , 363 , 364 , 365 , 366 , 369 , 437 , 451 , 457 , 460 , 461 , 471
Davis-Putnam procedure, 342
de dicto, 82
de re, 82
DEC-10 Prolog, 338
declarative, 1 , 2 , 3 , 18
deep syntax, 363 , 366 , 367 , 369 , 370
default, 355 , 453 , 459
denotational semantics, 309
dependent types, xi, 256 , 257 , 258
depth-first search, 435
dereferencing, 343
derivation rule, 226 , 229
destructive, 81 , 82 , 83 , 89 , 90 , 96
determiner, 131 , 285 , 286
Diaz, 361
Diller, 224 , 482
disjunction, 211 , 213 , 254 , 300 , 301
distinguished symbol, 133
domain specific language, 117
dotted pair, 51 , 52
double precision arithmetic, 33
Doyle, 487
DSL, 117
Duffy, 32 , 224 , 482
dump, 313 , 314
dynamic binding, 328 , 329
dynamic scope, 328
dynamic type checking, 193 , 194
|
|
