(1) The specification of what instance variables implement an object's state, and what procedures implement its methods.
(2) A definition of how something is constructed or computed. For example, a class is an implementation of a type, a method is an implementation of an operation.