Cłowercaseafe

keywords: cafeobj, algebraic specification, institutions, abstract machines
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.
reference: Vol. 22, 2003, No. 3-4, pp. 257–283