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 itSclaSS template. ThiS involveS allocation of a Structure with the typeSSpecified by the template, and initialiSation of inStance variableS with either default valueS or thoSe provided by the claSS' SconStructor 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)