This page collects links to various sites dedicated to CafeOBJ
http://www.ldl.jaist.ac.jp/cafeobj/old-top.html
The (previous) official web site of CafeOBJ at the main development lab at the JAIST.
The OBJ Family
OBJ refers to the language family, while OBJ2, OBJ3, CafeOBJ, BOBJ, etc. refer to particular members of the family. The OBJ languages are broad spectrum algebraic programming and specification languages, based on order sorted equational logic, possibly enriched with other logics
The Maude System
Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications. Maude has been influenced in important ways by the OBJ3 language, which can be regarded as an equational logic sublanguage
CafeOBJ and Maude are sister languages of OBJ and are also currently most advanced executable formal specification language systems. Professor Jose Meseguer is the leader of Maude project
OBJ3
OBJ refers to the language family, while OBJ2, OBJ3, CafeOBJ, BOBJ, etc. refer to particular members of the family. The OBJ languages are broad spectrum algebraic programming and specification languages, based on order sorted equational logic, possibly enriched with other logics