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

OBJ je rodina programovacích jazyků, kterou v roce 1976 představil Joseph Goguen a na níž dále pracoval Jose Meseguer .

Přehled

Je to rodina deklarativních jazyků „ultra vysoké úrovně“. To představuje abstraktní typy , generické moduly , subsorts (podtypy s vícenásobnou dědičnost ), vzor-odpovídající modulo rovnice, e-strategie (kontrola uživatelů přes lenost ), výrazy modul (pro kombinaci modulů), teorií a pohledy (pro popis rozhraní modulu ) pro masivně paralelní RRM ( stroj na přepisování pravidel ).

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

OBJ2

OBJ2 je programovací jazyk s parametrizovanými moduly podobnými Clear a funkčním systémem založeným na rovnicích.

OBJ3

OBJ3 je verze OBJ založená na přepisování seřazeném podle pořadí . OBJ3 je orientovaný na agenta a běží na Kjótu Common Lisp AKCL.

Viz také

• Automatizované dokazování teorémů
• Formální metody

Bibliografie

• JA Goguen, funkce vyššího řádu považovány za zbytečné pro programování vyššího řádu . In Témata výzkumu ve funkčním programování (červen 1990). s. 309–351.
• „Principles of OBJ2“, K. Futatsugi et al., 12. POPL, ACM 1985, s. 52–66.
• JA Goguen; T. Winkler; J. Meseguer; K. Futatsugi; J.-P. Jouannaud (2000), „Introducing OBJ“, v JA Goguen; G. Malcolm (eds.), Softwarové inženýrství s OBJ: Algebraic Specification in Action , Springer Science+Business Media, New York, NY, s. 3–167, ISBN 978-1-4757-6541-0

• Tento článek vychází z materiálu převzatého z Free On-line Dictionary of Computing před 1. listopadem 2008 a začleněn pod podmínky „relicencování“ GFDL , verze 1.3 nebo novější.

externí odkazy

• Archiv OBJ
• Rodina OBJ
• Informační a OBJ3 manuál , formát PostScript

Tento článek související s programovacím jazykem je útržek . Wikipedii můžete pomoci jejím rozšířením .

• proti
• t
• E