Computer Dictionary Online

Medical Dictionary   Law Dictionary   Legal Dictionary   Website Design

0  1  2  3  4  5  6  7  8  9  a  b  c  d  e  f  g  h  i  j  k  l  m  n  o  p  q  r  s  t  u  v  w  x  y  z 


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)


Contact the Computer Dictionary Online  ::  Link to the Computer Dictionary Online  ::  Disclaimer for Computer Dictionary Online

Computer Dictionary Online
Copyright © 2017