The OBJ archive

The OBJ archive contains information relevant to the OBJ3 and

2OBJ theorem provers and is available via anonymous FTP. OBJ was originated by

Prof. Joseph Goguen.

An OBJ FORUM mailing list is available. To subscribe, send email to objforum-request@comlab.ox.ac.uk.

See:

The OBJ family of languages from Prof. Joseph Goguen, University of California, San Diego, USA.
CafeOBJ Homepage in Japan. See CafeOBJ Project Press Release (22 April 1997).
OBJ3 open source project. See also OBJ3 information under Rewriting Logics and Systems at SRI International CSL.
BOBJ (Behavioral OBJ), an extension of OBJ3.
Maude System. See also the Maude Project and Mobile Maude Project at SRI International CSL.

Last updated by Jonathan Bowen, 8 January 2004.

Part of the LSBU Museophile archive.