programming

Definition

-Abstraction (Programming)

The -abstraction is the implementation of a function (e.g. as in lambda calculus), i.e.:

  1. names and comments are meaningless
  2. substantive change of the implementation changes the abstraction