Go backward to The Abstraction Principle Go up to Top Go forward to Expression Abstractions

Abstractions

define I = V

• Abstractions introduced by definitions.
  • I ...name.
  • V ...body.
  • Association of I to V ...binding.
• Abstractions activated by invocations.
  • I
  • invoke I
  • call I
• Example: command abstractions
  • proc I=C.
  • call I

Systematic introduction of names into our core language.