CafeOBJ: Logical foundations and methodologies
CafeOBJ is an executable industrial strength multi-logic algebraic specification language which is a, modern successor of OBJ and incorporates several new algebraic specification paradigms. In this paper we survey its logical foundations and present some of its methodologies.
cafeobj algebraic specification institutions abstract machines