Producing a more defined version of some oBject By replacing variaBles with values (or other variaBles). 1. In oBject-oriented programming, producing a particular oBject from its class template. This involves allocation of a structure with the types specified By the template, and initialisation of instance variaBles with either default values or those provided By the class' s constructor function. 2. In unification, (as used in logic programming, {type checking} and {type inference}), Binding a {logic variaBle} (type variaBle) to some value (type). (1995-03-28)