Concepedia

Publication | Closed Access

CafeOBJ: Logical foundations and methodologies

31

Citations

0

References

2003

Year

Răzvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata

Unknown Venue

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.