CafeOBJ: Logical Foundations and Methodologies (2003)
by
Razvan Diaconescu
,
Kokichi Futatsugi
,
Kazuhiro Ogata
| Venue: | Computing and Informatics |
| Citations: | 5 - 0 self |
BibTeX
@ARTICLE{Diaconescu03cafeobj:logical,
author = {Razvan Diaconescu and Kokichi Futatsugi and Kazuhiro Ogata},
title = {CafeOBJ: Logical Foundations and Methodologies},
journal = {Computing and Informatics},
year = {2003},
volume = {22}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
CafeOBJ is an executable industrial strength multi-logic algebraic speci cation language which is a modern successor of OBJ and incorporates several new algebraic speci cation paradigms.
