strict

adj 1: rigidly accurate; allowing no deviation from a standard;

"rigorous application of the law"; "a strict

vegetarian" [syn: {rigorous}]

2: (of rules) stringently enforced; "hard-and-fast rules" [syn:

{hard-and-fast}]

3: incapable of compromise or flexibility [syn: {rigid}]

4: not indulgent; "strict parents" [syn: {nonindulgent}]

5: unsparing and uncompromising in discipline or judgment; "a

parent severe to the pitch of hostility"- H.G.Wells; "a

hefty six-footer with a rather severe mien"; "a strict

disciplinarian"; "a Spartan upbringing" [syn: {severe}, {spartan}]

6: severe and unremitting in making demands; "an exacting

instructor"; "a stern disciplinarian"; "strict standards"

[syn: {stern}, {exacting}]

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)