Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
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)