closure conversion

<logic> The transformation of continuation passing style code so that the only free variables of functions are names of other functions.

See also Lambda lifting.

[FOLDOC]

<2001-03-16>

Try this search on OneLook / Google

Nearby terms: closed set « closed term « closure « closure conversion » CNF » coarse grain » Cockburn Catherine Trotter