CafeOBJ: Logical Foundations and Methodologies
Keywords:CafeObj, algebraic specification, institutions, abstract machines
AbstractCafeOBJ 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.
Download data is not yet available.
How to Cite
Diaconescu, R., Futatsugi, K., & Ogata, K. (2012). CafeOBJ: Logical Foundations and Methodologies. COMPUTING AND INFORMATICS, 22(3-4), 257–283. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/457