Applicative order reduction

applicative order reduction
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 passed 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.


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 passes 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

    having a practical purpose or use; derived from or involved with actual phenomena (distinguished from , opposed to ): applied mathematics; applied science. of or relating to those arts or crafts that have a primarily utilitarian function, or to the designs and decorations used in these arts. to make use of as relevant, suitable, or […]

Disclaimer: Applicative order reduction definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.