【プログラミング言語】より...これを抽象データ型の実装と呼ぶ。言語によっては代数的仕様記述などの考えに基づき,抽象データ型の値の振舞いを形式的に記述し検証などに役立てることを試みているものもある(Larch,OBJ,IOTAなど)。多くの言語では型の仕様として単にメソッドのシグニチャー情報のみを扱う。...※「OBJ」について言及している用語解説の一部を掲載しています。キーワード基礎疾患ある病気や症状の原因となる病気。虚血性心疾患の基礎疾患とされる。AndroidGooglePlayその他の辞書アプリをお探しの方はこちら利用規約お問い合わせ広告掲載について「コトバンク」は朝日新聞社の登録商標です。MARKETINGに帰属します。当サイトで提供する用語解説の著作権は、(株)朝日新聞社及び(株)朝日新聞出版等の権利者に帰属します。permission.。