「抽象データ型」の版間の差分

構造化プログラミングは仮想機械モデルに基づく段階的詳細化法をもたらしたが<ref>参考文献１</ref>が、データ型の詳細化に伴いデータ構造の変更を行うとその変更部分がホーア論理に弱基いて分解した各プログラム中に散在してしまい変更部分の把握が困難になるという欠致命的弱点があった。データ抽象の概念はその欠点を補完するものであった。抽象データ型はデータ抽象の具体的手法として1974年にB.H.Liskovの提案した言語CLUにおいて初めて導入された<ref>参考文献５</ref>。