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.
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 […]
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.
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 […]