CafeOBJ: Logical Foundations and Methodologies

Razvan Diaconescu; Kokichi Futatsugi; Kazuhiro Ogata

CafeOBJ: Logical Foundations and Methodologies

Authors

Razvan Diaconescu
Kokichi Futatsugi
Kazuhiro Ogata

Keywords:

CafeObj, algebraic specification, institutions, abstract machines

Abstract

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.

Downloads

Download data is not yet available.

Downloads

Published

2012-02-20

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 http://147.213.75.17/ojs/index.php/cai/article/view/457