An OBJ FORUM mailing list is available. To subscribe, send email to firstname.lastname@example.org.
- 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.
Community content is available under CC-BY-SA unless otherwise noted.