OBJ2 - это язык программирования с параметризованными модулями типа Clear и функциональной системой, основанной на уравнениях. Он является членом семейства языков OBJ . [1]
Заметки
Рекомендации
- «Принципы OBJ2», К. Футацуги и др., 12-й POPL, ACM 1985, стр. 52–66.
- Эта статья основана на материалах, взятых из Free On-line Dictionary of Computing до 1 ноября 2008 г. и включенных в соответствии с условиями «перелицензирования» GFDL версии 1.3 или новее.