Evaluation Order
Stratego -- Strategies for Program Transformation
Improved efficiency of needed
definition extraction by using dynamic rules instead of a list of
definitions to look up definitions in. The effect of this change
is that the order of evaluation of definitions for the same label
is reversed. This is fine since the order of evaluation of
rules/definitions with the same name is undefined, but it might
break some specifications. It might be a good idea to change the
evaluation order with every distribution in order to force
programmers to use left choice when the order is relevant.
-- EelcoVisser - 17 Dec 2001 CategoryGlossary