In computer science, an abstract data type is a mathematical model for data types, defined by its behavior from the point of view of a user of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations. Wikipedia