OBJ — это семейство языков программирования, представленное Джозефом Гогеном в 1976 году, над которым работал Хосе Месегер .
Это семейство декларативных языков «сверхвысокого уровня». В нем представлены абстрактные типы , универсальные модули , подсорты (подтипы с множественным наследованием ), сопоставление с образцом по модулю, E-стратегии (пользовательский контроль над ленью ), модульные выражения (для объединения модулей), теории и представления (для описания интерфейсов модулей ) для массивно-параллельный RRM ( машина правил перезаписи ).
Члены семейства языков OBJ включают CafeOBJ , Eqlog , FOOPS , Kumo , Maude , OBJ2 и OBJ3 . [1]
OBJ2 — это язык программирования с Clear -подобными параметризованными модулями и функциональной системой, основанной на уравнениях.
OBJ3 — это версия OBJ, основанная на перезаписи с сортировкой по порядку . OBJ3 ориентирован на агентов и работает на Kyoto Common Lisp AKCL.