Email this page to a friend

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.

< Previous Terms	Terms Containing strict	Next Terms >
stream-oriented STREAMS strength reduction STRESS stress testing	0/1 knapsack problem abstract interpretation Abstract Syntax Notation 1 Acceptable Use Policy ALGOL 68-R	strict evaluation strided string String EXpression Interpreter STring Oriented Interactive Compiler