Go backward to The Copy Rule for Blocks Go up to Top Go forward to Summary (Syntax)

Record Introduction Principle

• The qualification principle is a record introduction principle.
• Locally defined abstractions:
  • Type attributes are record types.
  • Semantic values are records of bindings.
• Scope of bindings is crucial concept.
• Block construct:
  • Block begin D in U end
  • Expression with D do U
• Copy rule is indexing rule:
  • with {I₁=V₁, ..., I_n=V_n} do U
    => [V₁/I₁, ..., V_n/I_n]U
  • R.I = with R do I

Programming language consists of core language uniformly extended by records and parameters!