OBJ（読み）おーびーじぇー

世界大百科事典（旧版）内のOBJの言及

【プログラミング言語】より

…これを抽象データ型の実装と呼ぶ。　言語によっては代数的仕様記述などの考えに基づき，抽象データ型の値の振舞いを形式的に記述し検証などに役立てることを試みているものもある(Larch，OBJ，IOTAなど)。しかし多くの言語では型の仕様として単にメソッドのシグニチャー情報のみを扱う。…

※「OBJ」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」