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

概要

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

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月）、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 (編)、Software Engineering with OBJ: Algebraic Specification in Action、Springer Science+Business Media、ニューヨーク、NY、pp. 3–167、ISBN 978-1-4757-6541-0