Go backward to Summary (Typing Rules III) Go up to Top Go forward to Summary (Typing Rules V)

Summary (Typing Rules IV)

• Expression

  • P |- N: int

    P |- N: intexp

  • P |- L: intloc

    P |- @L: intexp

  • P |- E1: intexp	P |- E2: intexp
    P |-E1+E2: intexp

  • P |- E1: intexp	P |- E2: intexp
    P |-E1=E2: boolexp

  • P |- E: boolexp

    P |- not E: boolexp

  • P |- I: Texp

    , if (I:Texp) in P

  • P |-X: Texp

    P |-X: Texp