OBJ (мова програмування)

OBJ — родина декларативних мов програмування надвисокого рівня, створена у 1976 році професором Джозефом Гогьєном (англ. Joseph Goguen). Важливими представниками OBJ-родини є CafeOBJ, Eqlog, FOOPS, Kumo, Maude і OBJ3.

Див. також

• Автоматичне доведення
• Формальні методи
• Дискретна математика

Посилання

• The OBJ family [Архівовано 27 травня 2009 у Wayback Machine.] (англ.)
• Офіційний сайт CafeOBJ [Архівовано 6 лютого 2016 у Wayback Machine.] (англ.)