OBJ - Obij

...This is called the implementation of an abstract data type. Some languages ​​(such as Larch, OBJ, and IOTA) attempt to formally describe the behavior of abstract data type values ​​based on the idea of ​​algebraic specification description and to use this information for verification. However, most languages ​​only handle method signature information as type specifications. ...

*Some of the terminology explanations that mention "OBJ" are listed below.

Source | Heibonsha World Encyclopedia 2nd Edition | Information

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

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

出典｜株式会社平凡社世界大百科事典 第２版について | 情報