instantiate

[in-stan-shee-eyt] /ɪnˈstæn ʃiˌeɪt/
verb (used with object), instantiated, instantiating.
1.
to provide an instance of or concrete evidence in support of (a theory, concept, claim, or the like).
Origin
1945-50; < Latin instanti(a) (taken as combining form of instance) + -ate
Related forms
instantiation, noun
instantiative, adjective
Examples from the web for instantiation
  • The logistics of the instantiation of the accounts would be simply understood by everyone.
  • Each profession requires a different instantiation of the idea of authenticity.
  • The organization he heads is, in some ways, the ultimate instantiation of a trained scientific elite.
  • We pose three reasons for examining the workplace as a site or an instantiation of these broader movements.
  • The instantiation allows for access, in the rare case that an application needs it, to a user preference.
  • It is also used to construct pseudorandom number generators and practical instantiation of the random oracle.
  • The instantiation of a terminology implies a context.
  • Subsequently the instantiation operator samples these areas to create new individuals.
British Dictionary definitions for instantiation

instantiation

/ɪnˌstænʃɪˈeɪʃən/
noun
1.
the act or an instance of instantiating
2.
the representation of (an abstraction) by a concrete example
3.
(logic)
  1. the process of deriving an individual statement from a general one by replacing the variable with a name or other referring expression
  2. the valid inference of an instance from a universally quantified statement, as David is rational from all men are rational
  3. a statement so derived

instantiate

/ɪnˈstænʃɪˌeɪt/
verb
1.
(transitive) to represent by an instance
Word Origin
C20: from Latin instantia (see instance) + -ate1
Word Origin and History for instantiation

instantiate

v.

1946, from instant (Latin instantia) + -ate. Related: Instantiated; instantiation.

instantiation in Technology
programming
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)