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.
Keywords
Cite this article
@article{cai-1316,
author = {Răzvan Diaconescu and Kokichi Futatsugi and Kazuhiro Ogata},
title = {Cłowercaseafe},
journal = {Computing and Informatics},
volume = {22},
number = {3-4},
pages = {257--283},
year = {2003},
issn = {1335-9150},
url = {https://cai.type.sk/content/2003/3-4/cłowercaseafe/}
}
TY - JOUR AU - Răzvan Diaconescu AU - Kokichi Futatsugi AU - Kazuhiro Ogata TI - Cłowercaseafe JO - Computing and Informatics VL - 22 IS - 3-4 SP - 257 EP - 283 PY - 2003 SN - 1335-9150 UR - https://cai.type.sk/content/2003/3-4/cłowercaseafe/ KW - cafeobj KW - algebraic specification KW - institutions KW - abstract machines ER -
Diaconescu, R., Futatsugi, K., & Ogata, K. (2003). Cłowercaseafe. Computing and Informatics, 22(3-4), 257–283. https://cai.type.sk/content/2003/3-4/cłowercaseafe/