抽象データ型
抽象データ型は、データの型を、整数型や実数型のような物理的な性質で定義するのではなく、そのデータをアクセスする関数や操作を列挙して論理的に定義することです。
データの定義の枝葉末節な事柄や実現方法、関数や操作の実現方法は表に出しません。
例えば複素数の直交座標での実装と円座標での実装
インターフェースレベルでの検証が可能
OBJ
ジョセフ・アマディ・ゴーグエン(Joseph Amadee Goguen)
バーバラ・リスコフ
Initial algebra
Concept (generic programming)
Design by contract
Formal methods
Functional specification
Liskov substitution principle
Object-oriented programming
Type system
Type theory
Algebraic data type
Generalized algebraic data type