抽象データ型
コンパイラで直接認識される基本データ型以外のデータ型。
つまり クラス（class） や 構造体（struct） のこと。
抽象データ型は、データの型を、整数型や実数型のような物理的な性質で定義するのではなく、そのデータをアクセスする関数や操作を列挙して論理的に定義することです。
データの定義の枝葉末節な事柄や実現方法、関数や操作の実現方法は表に出しません。
データと操作を一体化
データの実装を隠蔽
例えば複素数の直交座標での実装と円座標での実装
インターフェースレベルでの検証が可能
ADT : abstract data type
抽象 + データ型
OBJ
ジョセフ・アマディ・ゴーグエン（Joseph Amadee Goguen）
バーバラ・リスコフ
データ抽象
抽象型（abstract type）
抽象データ型 - Wikipedia
Abstract data type - Wikipedia