Go backward to Summary (Abstract Syntax) Go up to Top Go forward to Summary (Typing Rules I)

Summary (Type Attributes)

• Type attributes
  • H ::= T | Texp | comm | D | Dclass | Pdec
  • T::= int | bool
  • D ::= intloc | P
  • P ::= {i:T_i}_{i in I}, where I subset Identifier
• Meaning of type attributes:
  • [[int]] = Int.
  • [[bool]] = Bool.
  • [[Texp]] = Store -> [[T]].
  • [[comm]] = Store -> Store_bottom.
  • [[intloc]] = Location.
  • [[Dclass]] = Store -> ([[D]] x Store).
  • [[Pdec]] = Store -> [[P]].
  • [[{i:H_i}_i in I]] = {i:[[H_i]]}_i in I