Go backward to Parameter Lists Go up to Top Go forward to Semantics of Parameter Lists

Typing of Parameter Lists

• Typing rules:

  • pi -U- pi1 |- U: theta

    pi |- define I(F) = U: {I: pi1 -> theta}dec

  • pi |- D: pi1dec

    pi |- invoke I(D): theta

    if (I: pi₁ -> theta) in pi
  • pi₁ = type-attrs(F)
    type-attrs(I:theta) = {I:theta}
    type-attrs(F₁, F₂) =
       type-attrs(F₁) U type-attrs(F₂)
• Example:
  • var A: newint;
    proc P(W:intexp, X:intloc, Y:comm,
       Z:comm -> comm)
       = X:=W; call Z(Y);
    proc Q = A:=0
    in call P(fun W=@A+2, proc Y = call Q,
       alias X=A, proc Z(C:comm) = call C)

Labeled parameter passing (Ada).