ABSTRACT
In Chapter 1 we saw that abstraction is based on generalization through the introduction of names. Specializing an abstraction then involves replacing the names with particular values. Abstraction mechanisms are central to programming languages and provide a way of classifying and distinguishing between different classes of languages.
