Expressions are of course evaluated multiple times in the execution of a program. The usage of "sequenced before" pertains to such evaluations separately, but the descriptions of the various components of that relation are in terms of syntactic constructs.
Proposed change:
Clarify that "every value computation and every side effect" is "associated with" each evaluation of a given expression.
jensmaurer
commented
1 year ago
Expressions are of course evaluated multiple times in the execution of a program. The usage of "sequenced before" pertains to such evaluations separately, but the descriptions of the various components of that relation are in terms of syntactic constructs.
Proposed change:
Clarify that "every value computation and every side effect" is "associated with" each evaluation of a given expression.