The basis is the notion of abstract data type.

• 主要要素是抽象数据类型的概念。