English Evaluation strategy Cited by user Mathnerd314159 on 20 Jan 2024 In a programming language, an evaluation strategy is a set of rules for evaluating expressions.
English Reduction strategy Cited by user Mathnerd314159 on 18 Aug 2021 In rewriting, a reduction strategy or rewriting strategy is a relation specifying a rewrite for each object or term, compatible with a given reduction relation.