Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of CLOSURE

Pronunciation:  'klowzhur

 
Matching Terms:  closure by compartment, closure conversion

Computing Dictionary
 
 Definition: 

1. In a reduction system, a closure is a data structure that holds an expression and an environment of variable bindings in which that expression is to be evaluated. The variables may be local or global. Closures are used to represent unevaluated expressions when implementing functional programming languages with lazy evaluation. In a real implementation, both expression and environment are represented by pointers.

A suspension is a closure which includes a flag to say whether or not it has been evaluated. The term "thunk" has come to be synonymous with "closure" but originated outside functional programming.

2. In domain theory, given a partially ordered set, D and a subset, X of D, the upward closure of X in D is the union over all x in X of the sets of all d in D such that x <= d. Thus the upward closure of X in D contains the elements of X and any greater element of D. A set is "upward closed" if it is the same as its upward closure, i.e. any d greater than an element is also an element. The downward closure (or "left closure") is similar but with d <= x. A downward closed set is one for which any d less than an element is also an element.

("<=" is written in latex as \subseteq and the upward closure of X in D is written \uparrow_[D} X).

 
Thesaurus Terms
 
 Related Terms: accomplishment, ankle, arrest, arrestation, arrestment, articulation, blockage, blocking, boundary, butt, cease, cervix, cessation, check, clinch, clogging, close, closing, closing up, completion, conclusion, connecting link, connecting rod, connection, constriction, consummation, coupling, cramp, culmination, delay, desistance, detainment, detention, dovetail, elbow, embrace, end, ending, fixation, foot-dragging, fulfillment, gliding joint, hampering, hindering, hindrance, hinge, hinged joint, hip, holdback, holdup, impediment, inhibition, interface, interference, interruption, join, joining, joint, juncture, knee, knuckle, let, link, miter, mortise, neck, negativism, nuisance value, obstruction, obstructionism, occlusion, opposition, perfection, pivot, pivot joint, rabbet, realization, repression, resistance, restraint, restriction, retardation, retardment, scarf, seam, setback, shoulder, squeeze, stitch, stop, stranglehold, stricture, suppression, suture, symphysis, termination, tie rod, toggle, toggle joint, topping-off, union, weld, wrist
 

 

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY