Go backward to Denotation of Parameters Go up to Top Go forward to Argument Evaluation

Parameter Domains

1. (E[[E]]e s) in Expressible-value
   • Actual parameter evaluated with environment and store active at point of invocation.
   • Call-by-value.
2. (E[[E]]e): Store -> Expressible-value
   • Actual parameter uses invocation environment.
   • Uses store active at occurences of formal parameters in procedure body.
   • Call-by-name.
3. E[[E]]: Environ. -> Store -> Expr.-value
   • Uses environment and store active at occurences of formal parameters in procedure body.
   • Call-by-text.
4. Param = Location
   • Actual parameter must be variable.
   • Denotation is variable's L-value.
   • Call-by-reference.