OBJ (язык программирования) - OBJ (programming language)

OBJ это язык программирования семья представлена Джозеф Гогуэн в 1976 году, а затем работал над Хосе Месегер.

Обзор

Это семья декларативный языки «сверхвысокого уровня». Это особенности абстрактные типы, общие модули, подвиды (подтипы с множественное наследование ), сопоставление с образцом по модулю уравнений, электронные стратегии (пользовательский контроль над лень ), модульные выражения (для объединения модулей), теории и представления (для описания интерфейсы модуля ) для массивно параллельной RRM (машина правил перезаписи ).

Члены семейства языков OBJ включают КафеOBJ, Eqlog, FOOPS, Кумо, Мод, OBJ2, и OBJ3.

OBJ3

OBJ3 это версия OBJ, основанная на порядок -сортированный переписывание. OBJ3 - это агент -ориентирован и бегает по Киотский Common Lisp AKCL.

Смотрите также

• Автоматическое доказательство теорем
• Формальные методы

Рекомендации

• Дж. А. Гогуэн, Функции высшего порядка, считающиеся ненужными для программирования высшего порядка. В Темы исследований в области функционального программирования (Июнь 1990 г.). С. 309–351.
• Гогуэн, Джозеф А. и др. «Представляем OBJ». Программная инженерия с OBJ. Springer, Бостон, Массачусетс, 2000. С. 3–167.
• Статья основана на материалах, взятых из Бесплатный онлайн-словарь по вычислительной технике до 1 ноября 2008 г. и зарегистрированы в соответствии с условиями «перелицензирования» GFDL, версия 1.3 или новее.

внешняя ссылка

• Архив OBJ
• Семья OBJ
• Информация и руководство по OBJ3, PostScript формат

Этот язык программирования -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.