Semantics of function call with parameters

When a function is called (activated) the actual and the formal parameter list are positionally matched.
- Actual parameters are the ones specified in the call.
- Formal parameters are the ones specified in the definition.
Only input parameters are introduced here:
- Value of actual parameters are copied into the formal parameters.
Control is transferred to the function.