Go backward to Language Design Principles Go up to Top Go forward to Abstractions

Abstraction

Examples:

• Specification that hides computational details.

  Abstract datatypes.

• Function expressions

  (lambda x.M)

• Named abstractions
  • Definition: square = (lambda n. n times n),
  • Invocation: square(two).
• Pascal procedure
  • Abstraction of a command.
  • Invoked by mentioning its name.