OBJ（プログラミング言語）

概要

これは宣言型の「超高水準」言語ファミリーです。抽象型、ジェネリックモジュール、サブソート（多重継承を持つサブタイプ）、方程式を法とするパターンマッチング、E戦略（遅延評価の制御）、モジュール式（モジュールの結合用）、超並列RRM（書き換え規則マシン）のための理論とビュー（モジュールインターフェースの記述用）を備えています。^[¹^]

OBJファミリー言語のメンバーには、CafeOBJ、Eqlog、FOOPS、Kumo、Maude、OBJ2、OBJ3などがあります。^{[ 2 ]}

OBJ2は、 Clearのようなパラメーター化されたモジュールと方程式に基づく関数システムを備えたプログラミング言語です。

OBJ3は順序ソート書き換えに基づく OBJ のバージョンです。OBJ3 はエージェント指向であり、Kyoto Common Lisp AKCL 上で動作します。

^この記事は、2008 年 11 月 1 日より前に Free On-line Dictionary of Computing の OBJ から取得した資料に基づいており、GFDLバージョン 1.3以降の「再ライセンス」条項に基づいて組み込まれています。
^ OBJファミリー

JA Goguen、「高階関数は高階プログラミングには不要と考えられる」『関数型プログラミングの研究トピック』（1990年6月）pp. 309–351。
「OBJ2の原理」、K. Futatsugi 他、第12回POPL、ACM 1985、pp. 52–66。
JA Goguen、T. Winkler、J. Meseguer、K. Futatsugi、J.-P. Jouannaud (2000)、「OBJ の紹介」、JA Goguen、G. Malcolm (編)、『OBJ によるソフトウェアエンジニアリング: 代数的仕様の実践』、Springer Science+Business Media、ニューヨーク、ニューヨーク州、pp. 3– 167、ISBN 978-1-4757-6541-0