Applicative order reduction
applicative order reduction
programming
an evaluation strategy under which an expression is evaluated by repeatedly evaluating its leftmost innermost redex. this means that a function’s arguments are evaluated before the function is applied. this method will not terminate if a function is given a non-terminating expression as an argument even if the function is not strict in that argument. also known as call-by-value since the values of arguments are p-ssed rather than their names. this is the evaluation strategy used by ml, scheme, hope and most procedural languages such as c and pascal.
see also normal order reduction, parallel reduction.
(1995-01-25)
Read Also:
- Applicator
a simple device, as a rod, spatula, or the like, for medication, cosmetics, glue, or any other substance not usually touched with the fingers. historical examples the ears are also carefully cleansed with a squeezed-out dip of boracic acid on the applicator. the mother and her child william s. sadler by touching the surface with […]
- Applicatory
fitted for application or use; practical. historical examples in the practical and applicatory parts of his discourse he was peculiarly striking. memorials of the independent churches in northamptonshire thomas coleman in this the function of conscience p-sses from its fundamental idea into the form of an applicatory judgment. theoretical ethics milton valentine adjective suitable for […]
- Applied anatomy
applied anatomy applied anatomy ap·plied anatomy (ə-plīd’) n. the application of anatomical knowledge to the diagnosis and treatment of disease.
- Applied art
noun any art that applies aesthetic principles to the design or decoration of useful objects, such as industrial design, bookmaking, ill-stration, printmaking, and commercial art examples the applied arts are usually contrasted with the fine arts (drawing, painting, sculpture, fine printmaking, etc.), which are seen as serving no purpose other than providing an aesthetic experience. […]
- Applied kinematics
(def 2).