The Abstraction Principle

The phrases of any semantically meaningful syntactic class may be named.

• Any construct may be named.
  • Location: alias.
  • Numeral: const.
  • Expression: function.
  • Command: procedure.
  • Declaration module.
  • Type structure: class (type).
• Names important for handling complexity (by decomposing a task into named subtasks).