strictly

adv 1: restricted to something; "we talked strictly business" [syn:

{purely}]

2: in a stringent manner; "the laws are stringently enforced";

"stringently controlled" [syn: {stringently}]

3: in a rigorous manner; "he had been trained rigorously by the

monks" [syn: {rigorously}]

strict

A function f is strict in an argument if

f bottom ◦ bottom

(See {bottom}). In other words, the result depends on the

argument so evaluation of an application of the function

cannot terminate until evaluation of the argument has

terminated.

If the result is only {bottom} when the argument is bottom

then the function is also {bottom-unique}.

See also {strict evaluation}, {hyperstrict}.

(1995-01-25)