projecting

adj : extending out above or beyond a surface or boundary; "the

jutting limb of a tree"; "massive projected

buttresses"; "his protruding ribs"; "a pile of boards

sticking over the end of his truck" [syn: {jutting}, {projected},

{protruding}, {sticking(p)}, {sticking out(p)}]

projection

In domain theory, a {function}, f, which is (a)

{idempotent}, i.e. f(f(x))◦f(x) and (b) whose result is no

more defined than its argument. E.g. F(x)◦bottom or F(x)◦x.

In {reduction} systems, a function which returns some

{component} of its argument. E.g. head, tail, \ (x,y) . x.

In a {graph reduction} system the function can just return a

pointer to part of its argument and does not need to build any

new graph.

(1997-01-29)