An OBJ FORUM mailing list is available. To subscribe, send email to email@example.com.
- 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
Last updated by Jonathan Bowen, 24 March 2009.