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