Parameter Passing in Ada

procedure some(A: in out FLOAT; 
               B: in INTEGER; 
               C: out FLOAT) is

Scalars:

• in : Value/Copy
• out : Value/Copy
  • Parameter Evaluation Order UnSpecified!
  • Actual Parameter Evaluation at Call
• in out : Value/Copy

Vectors:

• Implementor's Discretion: Value-Result or Reference!
• Portability Problems: Different Results -
  • in Programs with Aliases
    • Philosophy: Stay Away from Aliases!
  • on Abnormal Program Termination