OBJ (programovací jazyk) - OBJ (programming language)

OBJ je programovací jazyk rodina představená Joseph Goguen v roce 1976 a dále na tom pracoval Jose Meseguer.

Přehled

Je to rodina deklarativní „ultravysoké“ jazyky. To představuje abstraktní typy, obecné moduly, podjednotky (podtypy s vícenásobné dědictví ), porovnávání vzorů modulo rovnice, E-strategie (ovládání uživatelem lenost ), výrazy modulů (pro kombinování modulů), teorie a pohledy (pro popis rozhraní modulů ) pro masivně paralelní RRM (přepsat stroj pravidel ).

Mezi členy jazykové rodiny OBJ patří CafeOBJ, Eqlog, FOOPS, Kumo, Maude, OBJ2, a OBJ3.

OBJ3 je verze OBJ založená na objednat -tříděné přepis. OBJ3 je činidlo -orientovaný a běží dál Kyoto Common Lisp AKCL.

J. A. Goguen, Funkce vyšších řádů považovány za zbytečné pro programování vyšších řádů. v Témata výzkumu funkčního programování (Červen 1990). 309–351.
Goguen, Joseph A. a kol. „Představujeme OBJ.“ Softwarové inženýrství s OBJ. Springer, Boston, MA, 2000. s. 3–167.
Tento článek je založen na materiálu převzatém z Zdarma online slovník výpočetní techniky před 1. listopadem 2008 a začleněno pod "licencování" podmínek GFDL, verze 1.3 nebo novější.

Tento programovací jazyk související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.