Result Expressions as Sources

Evaluation

A source of the form Re, where Re is a result expression, is evaluated by evaluating the result expression Re. The result thus obtained is taken to be the result of the source.

     Env,St |- Re => X,St'
     -----------------------
     Env,m,St |- Re => X,St'
Related concepts
Result Expressions