...，即 type 实际上是一种对其元素的行为规范（对应以上所述的“一种谓词” [America91]），如抽象数据类型（abstract data types）是较常用的行为规范技术。 Subtype 是根据谓词来修改，而 subclass 是根据模板来修改。
基于60个网页-相关网页
The interface specification (IfS) describes the business syntax of the operations of a service strictly in terms of the abstract data types used by the operations.
接口规范 (IfS) 从操作所使用的抽象数据类型方面严格描述服务的操作的业务语法。
The first two higher-level abstract data types are stacks and queues . They are extremely important to computing.
我们将要讨论的两种更高一级的抽象数据类型是堆栈和队列，它们对计算至关重要。
Procedural abstraction, abstract data types, and, most recently, objects and components are all examples of such abstractions.
过程抽象、抽象数据类型、以及目前比较常用的“对象”和“组件”都属于这样的抽象机制。
应用推荐