bottom-unique

In domain theory, a function f is bottom-unique if 

	f x = bottom  <=>  x = bottom
A bottom-unique function is also strict.

Try this search on Wikipedia, OneLook, Google

Nearby terms: bottom « BottomFeeder « bottom feeder « bottom-unique » bottom-up implementation » bottom-up model » bottom-up testing

Loading
Copyright 2010 Denis Howe

Try myreviewsnow.net, the number 1 social shopping site! directoryold.com. General Business Directory.