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.

See also Edit

• Wikipedia:OBJ
• Wikipedia:Joseph Goguen

---

Last updated by Jonathan Bowen, 24 March 2009.