CafeOBJ: Logical Foundations and Methodologies

In: Computing and Informatics, vol. 22, no. 3-4

Razvan Diaconescu - Kokichi Futatsugi - Kazuhiro Ogata

Details:

Year, pages: 2003, 257 - 283

Keywords:

CafeObj, algebraic specification, institutions, absrtract machines

About article:

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.

How to cite:

ISO 690:

Diaconescu, R., Futatsugi, K., Ogata, K. 2003. CafeOBJ: Logical Foundations and Methodologies. In Computing and Informatics, vol. 22, no.3-4, pp. 257-283. 1335-9150.

APA:

Diaconescu, R., Futatsugi, K., Ogata, K. (2003). CafeOBJ: Logical Foundations and Methodologies. Computing and Informatics, 22(3-4), 257-283. 1335-9150.