| < Free Open Study > |
|
object calculus, 11, 51, 184, 248, 251
object language, 24
Objective Caml
see OCaml, xvii
objects, 228, 368
as recursive records, 272
bounded quantification and, 411–416
encodings vs. primitive objects, 262–263
existential, 372–377, 475–489
hybrid object models, 377
identity, 245
imperative, 157, 225–245, 411–416
interface types, 479
Java-style, 247–264
matching relation on object types, 480
object-oriented programming, defined, 225–227
open recursion, 227, 235–244
purely functional, 372–377, 475–489
vs. abstract data types, 374–377
OCaml, xvii, 7, 45, 208, 231, 489
OCaml implementations, see ML implementations
occur check, 327, 338
omega, 65
open recursion, see objects, open recursion
operational semantics, 32, see also evaluation
big-step, 43
small-step, 42
operator associativity, 53
operator precedence, 53
Option type, 137–138
order, well-founded, 18
ordered sets, basic definitions, 16–18
ordinary induction, 19
overloading, 340
finitary, 206
overriding of method definitions, 233
| < Free Open Study > |
|