[1] : The Free On-line Dictionary of Computing (27 SEP 03)

linear function
     
        a recursive function is linear if it is of the form
     
        	f x = if p x then q x else h f x
     
        where h is a "linear functional" which means that
     
        1 for all functions, a, b c and some function ht
     
        	h if a then b else c = if ht a then h b else h c
     
        function ht is known as the "predicate transformer" of h.
     
        2 if for some x,
     
        	h \ y . bottom x  /=  bottom
     
        then
     
        	for all g,  ht g x  =  true.
     
        i.e. if h g x terminates despite g x not terminating then ht g
        x doesn't depend on g.
     
        see also linear argument.
     
        1995-02-15
     
     
see also:
recursive linear argument 

Linear Function >> L Words
Linear Function, definition of term: Linear Function
linear+function_pag1.html

Function >> F Words
Function, definition of term: Function
function_pag1.html

Linear >> L Words
Linear, definition of term: Linear
linear_pag1.html

Linear Measure >> L Words
Linear Measure, definition of term: Linear Measure
linear+measure_pag1.html

Linear Programm >> L Words
Linear Programm, definition of term: Linear Programm
linear+programm_pag1.html

Linear Perspect >> L Words
Linear Perspect, definition of term: Linear Perspect
linear+perspect_pag1.html

Linear B >> L Words
Linear B, definition of term: Linear B
linear+b_pag1.html

Linear A >> L Words
Linear A, definition of term: Linear A
linear+a_pag1.html

Linear Accelera >> L Words
Linear Accelera, definition of term: Linear Accelera
linear+accelera_pag1.html

Linear Algebra >> L Words
Linear Algebra, definition of term: Linear Algebra
linear+algebra_pag1.html

Page 1 2 Next